第2章逻辑程序设计语言 2规则(rule) 格式〈谓词名〉(〈项表〉)-〈谓词名〉(〈项表〉){,〈谓 词名〉(〈项表〉)} 其中“:"号表示“if"(也可以直接写为,其左部的谓词 是规则的结论(亦称为头),右部的谓词是规则的前提(亦称为体) }表示零次或多次重复,逗号表示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的合法规则