Что означает \+ в Prolog?

Я видел здесь несколько ответов, которые используют его, и я не знаю, что это значит или как его использовать. Мне также сложно найти его с помощью поисковой системы:)

Ответы

Ответ 1

Это оператор not provable. Это удается, если его аргумент не доказуем (и терпит неудачу, если его аргумент доказуемо).

Ответ 2

Это происходит с отрицанием. \+ Goal будет успешным, если Goal не может быть доказано.