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).