RosettaCodeData/Task/Mutual-recursion/Picat/mutual-recursion-2.picat
2023-07-01 13:44:08 -04:00

17 lines
189 B
Text

table
female(0,1).
female(N,F) :-
N>0,
N1 = N-1,
female(N1,R),
male(R, R1),
F = N-R1.
table
male(0,0).
male(N,F) :-
N>0,
N1 = N-1,
male(N1,R),
female(R, R1),
F = N-R1.