關係的說法邏輯問題：什麼是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），有三個元素。