Prologのプログラミング - シンプルな負のクエリ

Question

私のデータベースは次のとおりです。

eat(magi,limo). 
eat(nona,banana). 

どのように私は尋ねない：「誰がリムジンを食べませんの？」これは：

eat(X,not(limo)). 

動作しません。 :(

Answer 1

すべてlimoの第一は、シンボルであり、あなたはシンボルを否定することはできません。何がやりたいことはすなわちnot(eat(X, limo))、述語を否定である。

しかしこれはまだ結果としてあなたにnonaを与えるものではありません。何故ならば、eat(X, limo)が偽であるという無限の値Xが無限大です。あなたが望むものを知るために、 "Xはリムジンを食べていません"より多くの情報が必要です。代わりに、 "X eat" Xはリムジンを食べていません」というメッセージが表示されます。

eat(X,Y), not(eat(X, limo)). 

これはXの解としてnonaを与えます。

Answer 2

eat(X, Y), Y \= limo, writeln(X), false.