parent( mary, john ).
parent( ann, mary ).
female( mary).
mother( X, Y) :- parent( X, Y), female( X).
grandparent( X, Y) :- parent( X, Z), parent( Z, Y).
?- female (mary).