人工智能技术简明教程 廉师友 第2章 逻辑程序设计语言PROLOG（白）新.pptVIP

第2章 逻辑程序设计语言PROLOG 2.1 基本PROLOG 2.2 Turbo PROLOG程序设计  2.1 基本PROLOG 2.1.1 PROLOG的语句 　1. 事实(fact) 　格式 〈谓词名〉(〈项表〉). student(john). 　 like(mary,music). abc. repeat. 功能 一般表示对象的性质或关系。  2. 规则(rule) 格式 〈谓词名〉(〈项表〉):-〈谓词名〉(〈项表〉){,〈谓词名〉(〈项表〉)}.  bird(X):-animal(X),has(X,feather). grandfather(X,Y):- father(X,Z),father(Z,Y). run:-start,step1(X),step2(X),end.  功能 一般表示对象间的因果关系、蕴含关系或对应关系。 3. 问题(question) 格式　?-〈谓词名〉(〈项表〉)