第2章逻辑程序设计语言 功能一般表示对象的性质或关系 例如上面的两个事实就分别表示“约翰是学生”和 玛丽喜欢音乐” 作为特殊情形,一个事实也可以只有谓词名而无参量。 例如: abc repeat 等也是允许的。第 2 章 逻辑程序设计语言 功能 一般表示对象的性质或关系。 例如上面的两个事实就分别表示“约翰是学生”和 “玛丽喜欢音乐” 。 作为特殊情形, 一个事实也可以只有谓词名而无参量。 例如： abc. repeat. 等也是允许的