質問: prologで\ +はどういう意味ですか? 私はここでそれを使用するいくつかの答えを見ました、そしてそれが何を意味するのか、それをどのように使用するのか分かりません。私も検索エンジンでそれを探すのは難しいです:)
回答: それは否定と関係があります。 \+ goalは、goalが証明できない場合に成功します。