2024-04-15 13:40:54 +02:00
|
|
|
:- discontiguous male/1, female/1, parent/2.
|
|
|
|
male(dicky).
|
|
|
|
male(randy).
|
|
|
|
male(mike).
|
|
|
|
male(don).
|
|
|
|
male(elmer).
|
|
|
|
female(anne).
|
|
|
|
female(rosie).
|
|
|
|
female(esther).
|
|
|
|
female(mildred).
|
|
|
|
female(greatgramma).
|
|
|
|
male(blair).
|
|
|
|
|
|
|
|
parent(don,randy).
|
|
|
|
parent(don,mike).
|
|
|
|
parent(don,anne).
|
|
|
|
parent(rosie,randy).
|
|
|
|
parent(rosie,mike).
|
|
|
|
parent(rosie,anne).
|
|
|
|
parent(elmer,don).
|
|
|
|
parent(mildred,don).
|
|
|
|
parent(esther,rosie).
|
|
|
|
parent(esther,dicky).
|
|
|
|
parent(greatgramma,esther).
|
|
|
|
parent(randy,blair).
|
2024-04-18 09:14:14 +02:00
|
|
|
parent(mike,juliet).
|
2024-04-15 13:40:54 +02:00
|
|
|
|
|
|
|
male(mel).
|
|
|
|
male(teo).
|
|
|
|
parent(melsr,mel).
|
|
|
|
parent(melsr,teo).
|
|
|
|
|
|
|
|
father(X,Y) :- male(X),parent(X,Y).
|
|
|
|
mother(X,Y) :- female(X),parent(X,Y).
|