第2章 逻辑程序设计语言PROLOG 2.1基本PR0L0G 2.2 Turbo PR0L0G程序设计 蕌
2.1基本PRoL0G 2.1.1PR0L0G的语句 1.事实(fact)蕌 格式〈谓词名〉(〈项表〉).蕌 student(john).蕌 like(mary, music) abc 蕌 repeat. 功能一般表示对象的性质或关系。蕌
2.规则(rule)蕌 格式〈谓词名〉(〈项表〉):-〈谓词名〉(〈项表〉){, 〈谓词名〉(〈项表〉)} bird(X):-animal (X), has(X, feather).TE grandfather(X, Y) father(X, Z), father (z, y) run:start, stepl(X), step2(X), end. Yy 功能一般表示对象间的因果关系、蕴含关系或对应 关系
3.问题( question)蕌 格式?-〈谓词名〉(〈项表〉){,〈谓词名〉 (〈项表〉)} ?- student(john).蕌 ?-like(mary,X).湩 功能问题表示用户的询问,它就是程序运行的 目标
2.1.2PR0L0G的程序 PROLOG程序一般由一组事实、规则和问题组 成。问题是程序执行的起点,称为程序的目标。 likes(bell, sports) likes(mary, musIc)、蕌 likes(mary, sports).TE likes(jane, smith).蕌 friend(john, X):-likes(X, reading), likes(X, music) friend(john, X): -likes(X, sports), likes(X, music ?-friend (john, Y)