Turbo Prolog

mother(marilyn,beverly).
mother(alan,sally).
father(alan,bob)
father(beverly,charles).
father(fay,bob).
father(marilyn,alan).
parent(X,Y) if mother(X,Y).
parent(X,Y) if father(X,Y).
brother(X,Y) if
male(Y) and
parent(X,P) and
parent(Y,P) and
X () Y.
sister(X,Y) if
female(Y) and
parent(X,P) and
parent(Y,P) and
X () Y.
uncle(X,U) if
mother(X,P) and
brother(P,U).
uncle(X,U) if
father(X,P) and
brother(P,U).
grandfather(X,G) if
father(P,G) and
mother(X,P).
grandfather(X,G) if
father(X,P) and
father(p,G) .
I*The brother of X is Y if *1
I*Y is a male and *1
I*the parent of X is P and *1
I*the parent of Y is P and *1
1* X and Yare not the same *1
I*The sister of X is Y if *1
I*Y is female and *1
I*the parent of X is P and *1
I*the parent of Y is P and *1
I*X and Yare not the same *1
I*The uncle of X is U if *1
I*the mother of X is P and *1
I*the brother of P is U. *1
I*The uncle of X is U if *1
I*the father of X is P and *1
I*the brother of P is U *1
I*The grandfather of X is G *1
I*if the father of P is G *1
I*and the mother of X is P. *1
I*The grandfather of X is G *1
I*if the father of X is P *1
I*the father of Pis G *1
Type and execute this program and, by formulating appropriate goals, use Turbo Prolog
to answer the following questions:
I. Is alan ivan's brother?
2. Who is marilyn's grandfather?
3. Who is fay's sister?
4. What is the relationship (if any) between marilyn and beverly?
The relations uncle and grandfather are both described by two clauses, though only one
is necessary. Try to rewrite uncle and grandfather using one clause for each.
28 Turbo Prolog Owner's Handbook