关系克劳斯逻辑问题：什么是Herbrand解释

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是学术，学生，其他_staff，p(X) :- works_in(X, university)”。

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