9 lines
187 B
Perl
9 lines
187 B
Perl
|
is_digesting(X,Y) :- just_ate(X,Y).
|
||
|
|
is_digesting(X,Y) :-
|
||
|
|
just_ate(X,Z),
|
||
|
|
is_digesting(Z,Y).
|
||
|
|
|
||
|
|
just_ate(mosquito,blood(john)).
|
||
|
|
just_ate(frog,mosquito).
|
||
|
|
just_ate(stork,frog).
|