[解決済み] Prologにおける"˶‾‾‾"とは何ですか？

質問

ここで使っている回答をいくつか見たのですが、意味や使い方がわかりません。また、検索エンジンで探すのも大変です :)

どのように解決するのですか？

それは、' 証明できない 演算子です。 引数が証明可能でなければ成功します（引数が証明可能であれば失敗します）。