9 lines
187 B
Prolog
9 lines
187 B
Prolog
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).
|