Case study 3
Family tree
Tom
Bob Liz
Pat
Jim Ann
Facts:
Parents (tom, bob).
Parents (tom, Liz).
Parents (bob, Jim).
Parents (bob, Ann).
Parents (Liz, pat).
Male (tom).
Male (bob).
Female (Liz).
Male (Jim).
Female (Ann).
Male (pat).
Rules:
1- Father (x, y):-
Parent (x, y);
Male (x).
2- Mother (x, y):-
Parent (x, y);
Female (x).
3- Son (X, Y):-
Parent (y, x);
Male (x).
4- Daughter (x, y):-
Parent (y, x);
Female (x).
5- Grand parent (x, y):-
Parent (x, z);
Parent (z, y).
6- Grand father (x, y):-
Father (x, z);
Parent (z, y).
7- Grand Mather (x, y):-
Mather (x, z);
Parent (z, y).
8- Sister (x, y):-
Parent (x, z);
Parent (z, y);
Female (x).
9- Brother (x,y):-
Parent (z,y);
Parent (z,y);
Male (x).
10- Uncle (x, y):-
Brother (x, z);
Parent (z, y).
11- Aunt (x, y):-
Sister (x, z);
Parent (z, y).
12- Predecessor (x, y):-
Parent (x, y).
Or
Parent (x, z);
Predecessor (z, y).
13- off – spring (x, y)
Grandparent (y, x).
Or
Parent (y,z);
Parent (z,y).