Prolog教程 2

探索Prolog


Prolog在英语中的意思就是Programming in LOGic(逻辑编程)。它是建立在逻辑学的理论基础之上的, 最初是运用于自然语言的研究领域。然而现在它被广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序,因为它的编程方法更象是使用逻辑的语言来描述程序。

从纯理论的角度来讲,Prolog是一种令人陶醉的编程语言,但是在这本书中还是着重介绍他的实际使用方法。

进入Prolog世界


和其他的语言一样,最好的学习方法是实践。这本书将使用Prolog的解释器来向大家介绍几个具体的应用程序的编写过程。

首先你应该拥有一个Prolog的解释器,你可以在 免费prolog版本中找到它。关于解释器的使用,请参阅相关的使用说明文档,建议使用amzi prolog 或者swi prolog来运行本网站的程序。


逻辑编程


什么叫逻辑编程?也许你还没有一个整体的印象,还是让我们首先来研究一个简单的例子吧。运用经典的逻辑理论,我们可以说“所有的人(person)都属于人类(moral)”,如果用Prolog的语言来说就是“对于所有的X,只要X是一个人,它就属于人类。”

moral(X):-person(X).

同样,我们还可以加入一些简单的事实,比如:苏格拉底(socrates)是一个人。

person(socrates).

有了这两条逻辑声明,Prolog就可以判断苏格拉底是不是属于人类。在Prolog的Listener中键入如下的命令:

?-mortal(socrates). (此句中的'?-'是Listener的提示符,本句表示询问苏格拉底是不是属于人类。)

Linstener将给出答案:

yes

我们还可以询问,“谁属于人类?”

?-mortal(X).

我们会得到如下的答案:

X= socrates

这个简单的例子显示了Prolog的一些强大的功能。它能让程序代码更简洁、更容易编写。在多数情况下Prolog的程序员不需要关心程序的运行流程,这些都由Prolog自动地完成了。

当然,一个完整的程序不能只包括逻辑运算部分,还必须拥有输入输出,乃至用户界面部分。很遗憾,Prolog在这些方面做得不好,或者说很差。不过它还是提供了一些基本的方法的。下面是上述的程序一个完整的例子。
% This is the syntax for comments. % MORTAL - The first illustrative Prolog
program mortal(X) :- person(X).
person(socrates).
person(plato).
person(aristotle).
mortal_report:-
write('Known mortals are:'),nl, mortal(X), write(X),nl,
fail.

把这个程序调入Listener中,运行mortal_report.。

?- mortal_report.
Known mortals are:
socrates
plato
aristotle
no

以上程序中的一些函数以后还会详细的介绍的。最后的那个no表示没有其他的人了。
 
本书全面系统介绍Visual Prolog语言及其编程。全书共分四个部分,第一部分简短介绍Visual Prolog可视化开发环境;第二部分包括教程的第2章至第11章,教你如何学会用Visual Prolog编程;第三部分包括第12章至第16章,详细叙述Visual Prolog的预定义特性;第四部分包括第17章至第18章,完整而系统地叙述语言元素和模块化程序设计,以及与其它语言的接口。 下面是本书每一章的内容简介。 第一部分 Visual Prolog概述 第1章 Visual Prolog开发环境 描述如何将Visual Prolog安装到你的计算机上,如何使用Visual Prolog的可视化开发环境来运行本书所提供的例子,提供一个快速指南,包括创建、运行及保存你第一个Visual Prolog程序的一些步骤,解释如何应用可视化开发环境的Test Goal实用程序来运行语言教程提供的一些Visual Prolog程序的例子。 第二部分 学习Visual Prolog2Prolog基本原理 从自然语言的观点对Prolog提供一个概括地介绍,讨论如何把自然语言的语句和问题转换为Prolog的事实、规则和询问。 第3章 Visual Prolog程序结构 包括Visual Prolog的语法,Visual Prolog的程序段,用Visual Prolog进行编程。 第4章 合一与回溯 描述Visual Prolog如何求解问题,如何给变量赋值。 第5章 简单对象与复合对象 讨论声明和建立Visual Prolog中的结构。 第6章 重复与递归 解释如何应用回溯和递归编写重复性过程;还介绍了递归结构和树。 第7章 表与递归 介绍表及其递归用法,以及一般的表操作。 第8章 内部事实数据库 讨论使用Visual Prolog的事实段在运行时间对你的程序增加事实及存储全局信息。 第9章 算术与比较运算 介绍Visual Prolog内建的全部算术函数和比较函数,而且举例说明这些函数如何使用。 第10章 高级技术 控制流程分析,使用引用变量、谓词指针、二进制论域、项的转换,使用动态截断、工具及技术进行错误和信号处理,以及有效程序的编程风格。 第11章 类和对……
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值