关系的说法逻辑问题：什么是Herbrand的解释

Question

我很难去处理关系式的因果关系逻辑，而且我不确定这是不是要问的地方，但它会帮助我很多任何人都可以提供以下问题的指导。

设P程序：

academic(X); student(X); other_staff(X):- 
     works_in(X, university). 
:-student(john). 
:-other_staff(john). 
works_in(john, university) 

问：哪些是P的Herbrand解释？

Answer 1

这不是普通的Prolog语法：ISO Prolog不允许“;”在“： - ”左侧的头部操作员。我猜这意味着“对于学术，学生，other_staff，p(X) :- works_in(X, university)”。

P的Herbrand解释称之为Herb（P）是由程序中的谓词和原子组成的一组句子，这是在程序推断下关闭的最少的一组句子。这包含了在P中声明的事实：在这种情况下，有两个单位谓词，并且可以通过应用该子句得出句子：这里有两个适用的推论，两者都给出了相同的结论，一个两位谓词。这给了一套Herb（P），有三个元素。