Preamble:
The following set of facts describe a family tree. The relation parent(A,B) is true if B is a parent of A. The relation male(X) is true if X is a male. The relation female(X) is true if X is a female. An example set of facts is:
parent(carol, paul).
parent(carol, jane).
parent(harry, tom).
parent(harry, mary).
parent(jim, tom).
parent(jim, mary).
parent(ann, tom).
parent(ann, mary).
parent(tim, harry).
parent(tim, carol).
parent(george, harry).
parent(george, carol).
parent(jenny, harry).
parent(jenny, carol).
parent(david, jim).
parent(david joan).
parent(kate, jim).
parent(kate joan).
parent(susan, dominic).
parent(susan ann).
male(paul).
male(tom).
male(harry).
male(jim).
male(dominic).
male(tim).
male(george).
male(david).
female(jane).
female(mary).
female(carol).
female(joan).
female(ann).
female(jenny).
female(kate).
female(susan).
Using the facts described in the Preamble write the following relations:
mother(X,Y) which is true if X is the mother of Y.
sibling(X,Y) which is true if X is the sister or brother of Y.
uncle(X,Y) which is true if X is the aunt of Y.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here