Prologで\ +はどういう意味ですか？
私はここでそれを使用するいくつかの答えを見ました、そしてそれが何を意味するのか、それをどのように使用するのか分かりません。私も検索エンジンでそれを探すのは難しいです:)
' 証明できません '演算子です。引数が証明できない場合は成功します（引数が証明できる場合は失敗します）。
それは否定と関係があります。 \+ Goalは、Goalが証明できない場合に成功します。
私がそれを覚える方法は、次の論理的なルールを通してです：
\+= 'unsureまたはfalseの場合、false'と仮定します
これは、目標が完全に真または偽ではなく不確実である場合、真であると証明できないときに偽と見なされるという点で、標準のブール論理とは異なります。この最も明白な例は、ストリームがまだ開いているかどうかを確認できないことです。開いていることを証明できない場合は、プログラムに対して閉じているのと同じです。