1-genitor(x,jim).=pat
2-genitor(jim,X).=false
3-genitor(pam,X),genitor(X,pat).=bob
4-genitor(pam,X),genitor(X,Y),genitor(Y,jim). X=BOB, Y=PAT.
------------------------------------------------------------
1-genitor(M,jim).

2-genitor(M,jim), genitor(X,M).

3-genitor(M,jim), genitor(X,M), genitor(Z,X), homem(Z).

4-genitor(M,jim), genitor(X,M), genitor(Z,X), mulher(Z).

5-genitor(X,ana), genitor(X,pat).

6-genitor(X,bob), genitor(X,M), homem(X).

7-genitor(X,pat), genitor(X,M), homem(x).

-----------------------------------------------------------