#!/home/mcoan/lang/prolog/prolog

parent("jim", "matthew").
parent("jim", "melissa").
parent("jim", "micheal").
parent("phoebe", "matthew").
parent("phoebe", "melissa").
parent("phoebe", "micheal").

male("jim").
male("micheal").
male("matthew").

female("jane").
female("phoebe").

father(X,Y) :- parent(X,Y), male(Y).

?- father("jim", V -> Z), print(Z).