assertz((mother(Child, Mother) :-
                parent(Child, Mother),
                female(Mother))).