male('George').
female('Mary').
smart('Mary').
tall('George').
smart('George').

parent('Mary', 'George').
parent('Mary', 'Bob').
parent('George', 'Frank').
parent('George', 'Jenna').

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