it-swarm-ja.tech

Prologで\ +はどういう意味ですか?

私はここでそれを使用するいくつかの答えを見ました、そしてそれが何を意味するのか、それをどのように使用するのか分かりません。私も検索エンジンでそれを探すのは難しいです:)

23
Juanjo Conti

' 証明できません '演算子です。引数が証明できない場合は成功します(引数が証明できる場合は失敗します)。

28
Carl Norum

それは否定と関係があります。 \+ Goalは、Goalが証明できない場合に成功します。

8
Trevor Tippins