level 1
likes(john,X):- food(X).
food(apple).
food(oyster).
food(X):- eats(A,X), still_alive(A).
eats(tom,chicken).
still_alive(tom).
eats(sue,X):- eats(tom,X).
?-likes(john,chicken).
yes
?-eats(sue,X).
X=chicken
yes
2018年01月05日 03点01分
