第2章逻辑程序设计语言 3.问题( question) 格式?-〈谓词名〉(〈项表〉){,〈谓词名〉(〈项表〉)} 例如: student(john) -like(mary, X) 就是两个合法的问题。 可以看出,这里的问题也就是Horn子句逻辑中的目标子句, 只是形式略有不同。 功能问题表示用户的询问,它就是程序运行的目标 问题可以与规则及事实同时一起给出,也可以在程序运行 时临时给出 例如,上面的第一个问题的意思是“约翰是学生吗?”,第 个问题的意思是“玛玛丽喜欢谁?第 2 章 逻辑程序设计语言 3. 问题(question) 格式 ?-〈谓词名〉(〈项表〉){,〈谓词名〉(〈项表〉)}. 例如： ? -student(john). ? -like(mary,X). 就是两个合法的问题。 可以看出, 这里的问题也就是Horn子句逻辑中的目标子句, 只是形式略有不同。 功能 问题表示用户的询问, 它就是程序运行的目标。 问题可以与规则及事实同时一起给出, 也可以在程序运行 时临时给出。 例如, 上面的第一个问题的意思是“约翰是学生吗？” , 第 二个问题的意思是“玛玛丽喜欢谁 ？