>>31
はい、昨日の続きです。
英語の間違いまで指摘してくださってありがとうございます。
その指摘通りに直してみました。

likes(john,X) :- food(X).
food(apples).
food(oysters).
food(X) :- eats(Y,X), alive(Y).
eats(tom,snakes).
alive(tom).
eats(sue,X) :- eats(tom,X).

すると、スーも蛇食べました。(~o~)

7 ?- food(X).
X = apples ;
X = oysters ;
X = snakes ;
No
8 ?- eats(sue,X).
X = snakes ;
No
9 ?- eats(sue,snakes).
Yes
10 ?- eats(tom,snakes).
Yes