第2章逻辑程序设计语言 第2章逻辑程序设计语言 2.1基本PROLOG 2.2 Turbo PROLOG程序设计 习题二 BACK
第 2 章 逻辑程序设计语言 第 2 章 逻辑程序设计语言 2.1 基本PROLOG 2.2 Turbo PROLOG程序设计 习题二
第2章逻辑程序设计语言 2.1基本PROLOG 2.1.1PR0L0G的语句 1.事实(fact) 格式[HTSS] 〈谓词名〉(〈项表〉). 其中谓词名是以小写英文字母打头的字母、数字、下 划线等组成的字符串,项表是以逗号隔开的项序列。PROLOG 中的项包括由常量或变量表示的简单对象以及函数、结构和 表等,即事实的形式是一个原子谓词公式
第 2 章 逻辑程序设计语言 2.1 基本PROLOG 2.1.1 PROLOG的语句 1. 事实(fact) 格式[HTSS] 〈谓词名〉(〈项表〉). 其中谓词名是以小写英文字母打头的字母、 数字、 下 划线等组成的字符串, 项表是以逗号隔开的项序列。 PROLOG 中的项包括由常量或变量表示的简单对象以及函数、 结构和 表等, 即事实的形式是一个原子谓词公式
第2章逻辑程序设计语言 例如: student (john). like (mary,music). 就是PROLOG中的两个合法事实。 可以看出,在这里事实就是Hon子句逻辑中的无条件子句, 但形式略有不同
第 2 章 逻辑程序设计语言 例如: student(john). like(mary,music). 就是PROLOG中的两个合法事实。 可以看出, 在这里事实就是Horn子句逻辑中的无条件子句, 但形式略有不同
第2章逻辑程序设计语言 功能一般表示对象的性质或关系。 例如上面的两个事实就分别表示“约翰是学生”和 “玛丽喜欢音乐”。 作为特殊情形,一个事实也可以只有谓词名而无参量。 例如: abc. repeat. 等也是允许的
第 2 章 逻辑程序设计语言 功能 一般表示对象的性质或关系。 例如上面的两个事实就分别表示“约翰是学生”和 “玛丽喜欢音乐” 。 作为特殊情形, 一个事实也可以只有谓词名而无参量。 例如: abc. repeat. 等也是允许的
第2章逻辑程序设计语言 2.规则(rule) 格式〈谓词名〉(〈项表〉):-〈谓词名〉(〈项表〉){,〈谓 词名〉(〈项表〉)}: 其中“:-〃号表示“f(也可以直接写为),其左部的谓词 是规则的结论(亦称为头),右部的谓词是规则的前提(亦称为体) {}表示零次或多次重复,逗号表示and(逻辑与),即规则的形式 是一个逻辑蕴含式。 例如: bird(X):-animal(X),has(X,feather) grandfather(X,Y):-father(X,Z),father(Z,Y) 就是PROLOG的合法规则
第 2 章 逻辑程序设计语言 2. 规则(rule) 格式〈谓词名〉(〈项表〉):-〈谓词名〉(〈项表〉){,〈谓 词名〉(〈项表〉)}. 其中“ :-”号表示“if”(也可以直接写为if), 其左部的谓词 是规则的结论(亦称为头), 右部的谓词是规则的前提(亦称为体), { }表示零次或多次重复, 逗号表示and(逻辑与), 即规则的形式 是一个逻辑蕴含式。 例如: bird(X):-animal(X),has(X,feather). grandfather(X,Y):-father(X,Z),father(Z,Y). 就是PROLOG的合法规则
第2章逻辑程序设计语言 功能一般表示对象间的因果关系、蕴含关系或对应关系 例如,上面的第一条规则就表示“如果X是动物,并且X有 羽毛,则X是鸟”;第二条规则就表示“X是Y的祖父,如果存 在Z,X是Z的父亲并且Z又是Y的父亲”。 作为特殊情形,规则中的谓词也可以只有谓词名而无参量。 例如: run:-start,step1(X),step2(X),end 也是一个合法规则
第 2 章 逻辑程序设计语言 功能 一般表示对象间的因果关系、 蕴含关系或对应关系。 例如, 上面的第一条规则就表示“如果X是动物, 并且X有 羽毛, 则X是鸟” ; 第二条规则就表示“X是Y的祖父, 如果存 在Z, X是Z的父亲并且Z又是Y的父亲” 。 作为特殊情形, 规则中的谓词也可以只有谓词名而无参量。 例如: run:-start,step1(X),step2(X),end. 也是一个合法规则
第2章逻辑程序设计语言 3.问题(question) 格式?.〈谓词名〉(〈项表〉){,〈谓词名〉(〈项表〉)} 例如: -student(john). -like(mary,X) 就是两个合法的问题。 可以看出,这里的问题也就是Horn子句逻辑中的目标子句, 只是形式略有不同。 功能问题表示用户的询问,它就是程序运行的目标。 问题可以与规则及事实同时一起给出,也可以在程序运行 时临时给出。 例如,上面的第一个问题的意思是“约翰是学生吗?”,第 二个问题的意思是“玛玛丽喜欢谁?
第 2 章 逻辑程序设计语言 3. 问题(question) 格式 ?-〈谓词名〉(〈项表〉){,〈谓词名〉(〈项表〉)}. 例如: ? -student(john). ? -like(mary,X). 就是两个合法的问题。 可以看出, 这里的问题也就是Horn子句逻辑中的目标子句, 只是形式略有不同。 功能 问题表示用户的询问, 它就是程序运行的目标。 问题可以与规则及事实同时一起给出, 也可以在程序运行 时临时给出。 例如, 上面的第一个问题的意思是“约翰是学生吗?” , 第 二个问题的意思是“玛玛丽喜欢谁 ?
第2章逻辑程序设计语言 2.1.2PR0LOG的程序 PROLOG程序一般由一组事实、规则和问题组成。 问题 是程序执行的起点,称为程序的目标。例如下面就是一个 PROLOG程序。 likes(bell,sports). likes(mary,music) likes(mary,sports) likes(jane,smith) friend(john,X):-likes(X,reading),likes(X,music) friend(john,X):-likes(X,sports),likes(X,music) ?-friend(john,Y)
第 2 章 逻辑程序设计语言 2.1.2 PROLOG的程序 PROLOG程序一般由一组事实、 规则和问题组成。 问题 是程序执行的起点, 称为程序的目标。 例如下面就是一个 PROLOG程序。 likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):-likes(X,reading),likes(X,music). friend(john,X):-likes(X,sports),likes(X,music). ?-friend(john,Y)
第2章逻辑程序设计语言 可以看出,这个程序中有四条事实、两条规则和一个问题。 其中事实、规则和问题都分行书写。规则和事实可连续排列 在一起。其顺序可随意安排,但同一谓词名的事实或规则必须集 中排列在一起。问题不能与规则及事实排在一起,它作为程序 的目标要么单独列出,要么在程序运行时临时给出。 这个程序的事实描述了一些对象(包括人和事物)间的关系: 而规则则描述了iohn交朋友的条件,即如果一个人喜欢读书并 且喜欢音乐(或者喜欢运动和喜欢音乐),则这个人就是john的朋 友(当然,这个规则也可看作是jon朋友的定义);程序中的问题 是“约翰的朋友是谁?
第 2 章 逻辑程序设计语言 可以看出, 这个程序中有四条事实、 两条规则和一个问题。 其中事实、规则和问题都分行书写。 规则和事实可连续排列 在一起, 其顺序可随意安排, 但同一谓词名的事实或规则必须集 中排列在一起。 问题不能与规则及事实排在一起, 它作为程序 的目标要么单独列出, 要么在程序运行时临时给出。 这个程序的事实描述了一些对象(包括人和事物)间的关系; 而规则则描述了john交朋友的条件, 即如果一个人喜欢读书并 且喜欢音乐(或者喜欢运动和喜欢音乐), 则这个人就是john的朋 友(当然, 这个规则也可看作是john朋友的定义);程序中的问题 是“约翰的朋友是谁?”