第2章逻辑程序设计语言 功能一般表示对象间的因果关系、蕴含关系或对应关系 例如,上面的第一条规则就表示“如果X是动物,并且Ⅹ有 羽毛,则Ⅹ是鸟”;第二条规则就表示“X是Y的祖父,如果存 在Z,X是Z的父亲并且Z又是Y的父亲” 作为特殊情形,规则中的谓词也可以只有谓词名而无参量。 例如: run:-start, stepl(X), step2(X), end 也是一个合法规则。第 2 章 逻辑程序设计语言 功能 一般表示对象间的因果关系、 蕴含关系或对应关系。 例如, 上面的第一条规则就表示“如果X是动物, 并且X有 羽毛, 则X是鸟” ； 第二条规则就表示“X是Y的祖父, 如果存 在Z, X是Z的父亲并且Z又是Y的父亲” 。 作为特殊情形, 规则中的谓词也可以只有谓词名而无参量。 例如： run:-start,step1(X),step2(X),end. 也是一个合法规则