John likes all kinds of food.
ジョンは食べ物なら何でも好き。
Apples are food. Oysters are food.
林檎は食べ物。牡蠣も食べ物。
Anything anyone eats and still alive is food.
食べれるもので生きているものは何でも食べ物。
Tom eats snakes and still alive.
トムは蛇を食べるし、蛇は生きている。
Sue eats everything Tom eats.
スーはトムが食べるものは何でも食べる。

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

他は合っていると思うんですが
最後のeats(sue,X) :- eats(tom,X).だけうまくいっていません。続く。