私はプロローグにはとても新しいです。できるだけ短い時間でできるだけ多くのことを学びたい。どんな助けでも大歓迎です。私は途中でMacOS Sierraを使用しています。Prolog Wrong Compilation？
私は入力にこれらの行しようとしています：私は、プロローグコマンドウィンドウを使用してテストし、このコマンドを実行すると
nextto(_A,_B).
nextto(_B,_C).
を：
?- nextto(A,C).
はそれがfalseを返すことになっていませんか？
このように、本当の私のコンパイル結果、ので：プロローグ_で
?- nextto(A,C).
true
そう_A、大文字のようなものであると考えられ、それが匿名の変数を指定することで、独自の特別な意味を持っています、 _Bは（匿名の）変数です（プロローグで始まるものは変数であり、アトムではありません）。あなたの句：
nextto(_A,_B). nextto(_B,_C).
実際には、述語nexxtoは2つの変数で成功することを意味します。だからあなたがneexto（A、C）を照会するとき。真を返します。 nextto（a、b）に問い合わせると、trueを返します。ここで、a、bは原子であり変数ではない。節nextto（a、b）があるかどうか調べるためである。あなたの句で。しかし、私が上で述べたように、あなたの句は_A、_Bのすべての統一で成功します。常に成功nexxtoまた、あなたの述語ので、あなたも一つだけ句を書いても同じ結果になるだろう：
nextto(_A,_B).
の代わり：
nextto(_A,_B). nextto(_B,_C).
私はNextを押し（A、ようにコーディングする必要がありますC）。偽です。 – SAN
これはnextto（A、C）では可能ではないと思います。代わりにnextto（a、c）を使うのはどうですか？ – coder
さようなら！どうもありがとうございます！！好奇心から不思議に思っているので、大文字でこれを達成する方法はありませんか？ – SAN