私はプロローグが初めてで、SWI-Prolog(Windowsバージョン)を使用して基本から(自己)学習しようとしています。私のこの質問は確かに初心者の問題です。私の素朴さを許してください。
メインのインタラクティブ ウィンドウで作業し、チュートリアル ( this one )に従おうとしていますが、SWI-prolog の回答について理解できないことが 1 つあります。
私が理解している方法では、SWI-Prolog はクエリに「true」または「false」を書き込むことで応答し、チュートリアルに従って結果を確認することができます。
私を混乱させているのは、SWI が赤と黒の 2 色を使用して回答を印刷していることです。答えが赤で書かれていることもあれば、黒で書かれていることもあり、2 つの反対の応答 [たとえば、「true ; false」] が返され、1 つが黒で、もう 1 つが赤であることがあります。
SWI-prolog ドキュメントを検索しましたが、応答で 2 つの異なる色の意味を見つけることができませんでした。
誰かが関連する SWI ドキュメントを教えてくれますか、それともなぜこのようなことが起こるのか説明してくれませんか?
編集:
総括する:
赤で書かれた「真」の答えと黒で書かれた答えの違いは何ですか?
そして、赤で書かれた「偽」の答えと黒で書かれた答えの違いは?