第2章逻辑程序设计语言 可以看出,这个程序中有四条事实、两条规则和一个问题 其中事实、规则和问题都分行书写。规则和事实可连续排列 在一起,其顺序可随意安排,但同一谓词名的事实或规则必须集 中排列在一起。问题不能与规则及事实排在一起,它作为程序 的目标要么单独列出,要么在程序运行时临时给出。 这个程序的事实描述了一些对象(包括人和事物)间的关系 而规则则描述了john交朋友的条件,即如果一个人喜欢读书并 且喜欢音乐(或者喜欢运动和喜欢音乐,则这个人就是john的朋 友(当然,这个规则也可看作是john朋友的定义);程序中的问题 是“约翰的朋友是谁?”第 2 章 逻辑程序设计语言 可以看出, 这个程序中有四条事实、 两条规则和一个问题。 其中事实、规则和问题都分行书写。 规则和事实可连续排列 在一起, 其顺序可随意安排, 但同一谓词名的事实或规则必须集 中排列在一起。 问题不能与规则及事实排在一起, 它作为程序 的目标要么单独列出, 要么在程序运行时临时给出。 这个程序的事实描述了一些对象(包括人和事物)间的关系； 而规则则描述了john交朋友的条件, 即如果一个人喜欢读书并 且喜欢音乐(或者喜欢运动和喜欢音乐), 则这个人就是john的朋 友(当然, 这个规则也可看作是john朋友的定义)；程序中的问题 是“约翰的朋友是谁？”