I have a hard time coming up with the relational clauses logic, and I'm not sure that this is the place to ask , But with this amendment, I will be so helpful that no one can provide guidance with the following questions.
Let the program be:
academic (x); Student (x); Other_Stuff (X): - Work_in (X, University). : -student (John) : -other_staff (John) Question: What are the hebrand interpretations of P?
This is not regular prol syntax: the left side of "ISO Prolol"; "" - " Operator in the head I am feeling that it means "academic, student, other_staf, p (x) for P: - work_in (x, university) is each ".
In Hebrand interpretation P, it is called Herb (P), in the program there is a set of sentences and sentences made from atoms, which at least stopped such sentences from the program by estimation has gone. In this, the facts specified in P include: In this case, two places are predicted, and the terms derived from implementing the section are given: two conclusions apply here, both give conclusions, one is two Explains the place it gives a set, Herb (P) with three elements.
Comments
Post a Comment