female( mary).
?- female ( mary ).