RosettaCodeData/Task/Metaprogramming/Prolog/metaprogramming-2.pro
2023-07-01 13:44:08 -04:00

3 lines
107 B
Prolog

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