Prolog语言初步讲解.ppt

string： 用双引号括起来的字符序列 例：“I am from Nanjing” symbol：有两种形式： 以小写字母开头的字母、数字和下划线组成的序列 用双引号括起来的字符串序列 Prolog中表示成下列形式： integerlist = integer * “integer” 说明表中元素的类型 “* ” 告诉编译系统，这是一张表 表： 例 domains title , author = symbol pages = integer 注：每一个说明的最后无句号 “ . ” 谓词段（predicates) 说明用户自己定义的谓词 说明谓词变元的域 谓词名： 由小写字母开头，由字母、数字和下划线组成（标识符原子） 谓词变元的类型 标准域 域段中说明的其它域 例： domains person = symbol predicates father(person) 或者 father(symbol) alphabet_position(char, integer) 谓词后面无句号 “ . ” 子句段(clauses) 由事实与规则组成 说明： 每一个事实或规则后面必须有句号“ . ” 例： clauses likes(tom, football). classify(X, negative):- X0. classify(X, positive):- X0. 目标段(goal) 必须书写一个目标段，作为源码的一部分（内部目标） 外部目标 例 goal likes(tom, X). 注释： 多行注释：/* …… */ (C/C++中采用的符号） 单行注释：% （Matlab中采用的符号） Visual Prolog 程序的基本结构： domains ……（说明变量类型，无句号） predicates ….. （说明谓词，无句号） clauses ….. （程序段，必须有句号） goal …… （目标或问题，必须有句号） 3 例子 例1：?? ?predicates?/*谓词段，对要用的谓词名和参数进行说明*/ likes(symbol,?symbol) friend(symbol,?symbol) clauses?/*子句段，存放所有的事实和规则*/ likes(bell,sports).?/*前4行是事实*/ likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):-likes(X,sports),likes(X,music).?/*本行是规则*/ 例2： predicates /*谓词段:*/ hanoi(integer) move(integer,symbol,symbol,symbol) inform(symbol,symbol) clauses /*子句段*/ hanoi(N):-move(N,a,b,c). move(1,A,_,C):-inform(A,C),!. move(N,A,B,C):-N1=N-1,move(N1,A,C,B),inform(A,C),move(N1,B,A,C). inform(Loc1,Loc2):-nl,write(移动1个盘子从柱 ,Loc1,到柱,Loc2). goal /*目标段，问移动3个盘子的方法*/ hanoi(3). 注意： 这两部分不能颠倒。必须前提部分写在前面，问题部分写在后面 likes(m, f). likes(m, w). (事实) likes(j, w). likes(j, s). goal likes(m, X), likes(j, X). (问题) 问题：是否 m 和 j 都喜欢什么东西？( X = ? ) f w s m j Prolog的求解过程 现在有两个问题：likes(m, X) 和 likes(j, X)） 第一步：第一个问题 likes(m, X) 去与事实匹配（置换与合一），按顺序得到 {f/X} likes(m, f). likes(m, w). likes(j, w). likes(j, s). 第二步：f 代替第二个问题 likes(j, X) 中的 X，则得 likes(j, f) 。再与事实匹配，不能匹配，失败，则回溯，忘掉刚才的匹配 likes(m, f). likes(m, w). likes(j, w). likes(j, s).