father(paul, john). father(john, mary). father(john, karen). mother(jane, john). mother(ann, karen). mother(karen, peter). parent(X,Y):- father(X,Y). parent(X,Y):- mother(X,Y).