第2章逻辑程序设计语言 例如: student(john) like(mary, music) 就是 PROLOG中的两个合法事实。 可以看出,在这里事实就是Homn子句逻辑中的无条件子句, 但形式略有不同第 2 章 逻辑程序设计语言 例如： student(john). like(mary,music). 就是PROLOG中的两个合法事实。 可以看出, 在这里事实就是Horn子句逻辑中的无条件子句, 但形式略有不同