prolog 源代码

Prolog(Programminginlogic)是一种面向演绎推理的逻辑型程序设计语言,最早于1972年由柯尔麦伦纳(Colmeraner)及其研究小组在法国马赛大学提出。[1]

收录资源 204 份 全站深度检索
源码文件

Data-Segment Initialization The Windows prolog and epilog contain instructions that initialize the DS register, setting the r…

源码文件

#!/bin/sh exec perl -x $0 ${1+"$@"} #!perl # take the nicely formatted and commented PostScript prolog code and make # it lean, m…

源码文件

专家系统通用模型介绍 传统的智能语言,如prolog等,由于采用DOS界面、编程思想复杂、支持计算机其他性能较差, 已经无法适应飞速发展的计算机技术,不能满足用户的应用需求。 为方便以后的开发,我们用VC 5.0编写了一组类库,来实现基于Horn子句…

源码文件

% Figure 23.1 The basic Prolog meta-interpreter. % The basic Prolog meta-interpreter prove( true). prove( ( Goal1, Goa…

源码文件

向量和矩阵运算 Prolog不善于做数学运算,因而有时是极其低效的,但它还是能比较好的反映一些概念的。可以通过这些例子了解表的操作 向量运算——加、减、乘、除 domains element = i…

源码文件

[General Information] 书名=TURBO-PROLOG与专家系统 作者=BEXP 页数=145 下载位置=http://book6.ssreader.com/diskjsj/js215/03/!00001.pdg

源码文件

This is a small example on how to create a classification expert-system in TURBO-Prolog. Animals are classified in different…