私はキツネ、ガチョウ、穀物のなぞなぞ (農夫は自分自身と 3 人のうちの 1 人しか川を渡れない) を解こうとしており、次のコードに従っています: http://hilltop.bradley.edu/ ~chris/prolog.html (ドキュメントの約 4/5)
基本的に、コードはどの動きが有効であるかを Prolog に伝え、Prolog はそれから答えを計算します。
%[Farmer_position, Fox_position, Goose_position, Grain_position]
graph([w,w,w,w],[e,w,e,w]).
graph([e,w,e,w],[w,w,e,w]).
graph([w,w,e,w],[e,w,e,w]).
graph([w,w,e,w],[e,e,e,w]).
graph([w,w,e,w],[e,w,e,e]).
graph([e,e,e,w],[w,w,e,w]).
graph([e,e,e,w],[w,e,w,w]).
graph([e,w,e,e],[w,w,w,e]).
graph([e,w,e,e],[w,w,e,w]).
graph([w,w,w,e],[e,e,w,e]).
graph([w,w,w,e],[e,w,e,e]).
graph([e,e,w,e],[w,e,w,e]).
graph([e,e,w,e],[w,w,w,e]).
graph([e,e,w,e],[w,e,w,w]).
dfs([w,w,w,w],[[e,e,e,e]],answer).
?- dfs([w,w,w,w],[[e,e,e,e]],answer).
しかし、Prologに答えを表示させることができません。私は何か間違ったことをしていますか？私は SWI-Prolog を使用しており、IDE として SWI-Prolog-Editor を使用しています。
編集：明確にするために、コンパイルしますが、「回答」変数の「値」を表示していません。