Question

QUESTION 1
a) What do you understand by the following terms as applied to Logic
Programming:
i. Theory
ii. Fact
iii. Goal
[6 Marks]
b) What is a Prolog term
[2 Marks]
c) A Prolog program is a unification process. State what you understand by the
term unification.
[2 Marks]
QUESTION 2
a) What is meant by “first order predicate calculus” or “first order logic”
[4 Marks]
b) Translate the following into predicate calculus (first order logic) using the
predicates provided
i. “Every person is loved by some other person”
Predicates: Person(x), loves(x,y)
ii. “A bus took all the Com

Answer 1

Prolog term :The data your program works with is all terms of one form or another. The program itself is made up of terms. Prolog execution is simply the repetitive matching of patterns in these terms.

Answer 2

Prolog unification matches two Prolog terms by finding a substitution of variables

Answer 3

For first order predicate calculus..just look on to this
http://www8.cs.umu.se/~hegner/Courses/TDBB08/V98b/Slides4/fol_4.pdf