male(steve).
male(paul).
male(jeb).
male(alan).
male(austin).
male(jim).
male(will).
male(konrad).
male(matt).
female(janet).
female(dorothy).
female(helen).
female(evelyn).
female(joan).
female(louise).
female(eleanor).
female(eugenia).
female(dell).
female('mary frances').
male(bob).
male(craig).
parent(alan,steve).
parent(dorothy,steve).
parent(alan,paul).
parent(dorothy,paul).
parent(alan,jeb).
parent(eugenia,jeb).
parent(austin,alan).
parent('mary frances',alan).
parent(austin,will).
parent('mary frances',will).
parent(austin,jim).
parent('mary frances',jim).
parent(will,matt).
parent(janet,matt).
parent(konrad,evelyn).
parent(helen,evelyn).
parent(konrad,joan).
parent(helen,joan).
parent(konrad,louise).
parent(helen,louise).
parent(konrad,dorothy).
parent(helen,dorothy).
parent(konrad,eleanor).
parent(helen,eleanor).
married(alan,dorothy).
married(alan,eugenia).
married(will,janet).
married(will,dell).
married(austin,'mary frances').
married(bob,joan).
married(craig,louise).
married(konrad,helen).
married(steve,deborah).
female(deborah).
parent(robert,deborah).
parent(carol,deborah).
male(robert).
female(carol).
married(robert,carol).
parent(robert,cathy).
parent(carol,cathy).
married(cathy,randy).
female(cathy).
male(randy).
parent(cathy,kara).
parent(randy,kara).
female(kara).

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