RosettaCodeData/Task/Metaprogramming/Prolog/metaprogramming-2.pro

4 lines
107 B
Prolog

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