第2章逻辑程序设计语言PROL0G 2.1基本PROL0G 2.2 Turbo pr0L0G程序设计
第2章 逻辑程序设计语言PROLOG 2.1 基本PROLOG 2.2 Turbo PROLOG程序设计
2.1基本PR0L0G 2.1.1PR0L0G的语句 1.事实(fact)蕌 格式〈谓词名〉(〈项表〉).蕌 student(john).蕌 like(mary, music) abc. hE repeat 功能一般表示对象的性质或关系。蕌
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, stepl(X), step2 (X), end. Yi 功能一般表示对象间的因果关系、蕴含关系或对应 关系
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)蕌 格式?-〈谓词名〉(〈项表〉){,〈谓词名〉 (〈项表〉)} ?- student(john).蕌 ?-1ike(mary,X).潼 功能问题表示用户的询问,它就是程序运行的 目标
3. 问题(question) 格式 ?-〈谓词名〉(〈项表〉){,〈谓词名〉 (〈项表〉)}. ? -student(john). ? -like(mary,X). 功能 问题表示用户的询问, 它就是程序运行的 目标
2.1.2PR0L0G的程序 PROL0G程序一般由一组事实、规则和问题组 成。问题是程序执行的起点,称为程序的目标。 likes(bell, sports).H likes(mary, music).蕌 likes(mary, sports).H 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.1.2 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)