logic - 关系从句逻辑问题:什么是赫布兰德解释

Question

我很难掌握关系从句逻辑，而且我不确定这是否是要问的地方，但是如果有人可以提供以下问题的指导，这将对我有很大帮助。

令P为程序：

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

问题：Herbrand对P的解释是什么？

Answer 1

这不是常规的Prolog语法：ISO Prolog不允许使用“;”运算符位于头部的“：-”左侧。我猜这意味着“因为p是学术，学生，other_staff，p(X) :- works_in(X, university)中的每一个”。

Herbrand对P的解释，称其为Herb（P）是由程序中的谓词和原子组成的一组句子，这是从程序推论中关闭的此类句子中最少的一组。这包含在P中断言的事实：在这种情况下，有两个单位谓词，而从应用该子句可得出的句子：在这里有两个适用的推论，都给出相同的结论，一个二位谓词。这给出了一个包含三个元素的Herb（P）集合。