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.
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.
Step by step
Solved in 2 steps