All geek questions in one place

Relational Clausal Logical Question: What is Herbrand's Interpretation

It’s not easy for me to come to my senses with relational clause logic, and I'm not sure if this is the place to ask, but it will help me so much with the revision if anyone can give guidance with the following questions.

Let P be a program:

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

Question: What are the interpretations of Herbrand P?

+3
source share
1 answer

This is not a regular Prolog syntax: ISO Prolog does not allow ";" operators in the head, to the left of ": -". I guess that means: "For p, it's each of academic, student, other_staff, p(X) :- works_in(X, university)".

P, Herb (P) - , , , . , P: , : , , . , Herb (P), .

+1

Source: https://habr.com/ru/post/1745706/

More articles:


All Articles