В чем разница между == и = в Prolog?

Может кто-нибудь объяснить разницу между оператором == и = в Prolog? Я знаю, что X = Y означает, что X объединяется с Y и является истинным, если X уже объединяется с Y или может быть сделано, но я не понимаю, как это отличается от ==.

Followup: Это (см. принятый ответ) имеет смысл. Еще один вопрос: существует ли когда-либо ситуация, когда X \= Y истинна, а X \== Y является ложным (или наоборот)? То есть, проверяет X \= Y, если они не могут быть объединены или если они в настоящее время не объединены?

Ответ 1

The = "operator" в Prolog на самом деле является предикатом (с инфиксной нотацией) =/2, который преуспевает, когда эти два члена унифицированы. Таким образом, X = 2 или 2 = X составляют одно и то же, цель унификации X с 2.

Оператор == отличается тем, что он преуспевает только в том случае, если два члена уже идентичны без дальнейшей унификации. Таким образом, X == 2 истинно, только если переменной X ранее было присвоено значение 2.

Добавлено: Интересно работать через то, что происходит, когда "не" смешивается с этими целями в соответствии с комментарием JohnS ниже. См. Хороший набор примеров в Amzi! Документация Prolog.

\= означает, что два члена не могут быть унифицированы, т.е. что унификация терпит неудачу. Как и при всех применениях отрицания как отказа, "не унифицированный" не (и не может) привести к унификации между терминами.

\== означает, что два члена не идентичны. Здесь также не происходит объединения, даже если это удается.

Наконец подумайте о том, что сделает not(not(X = Y)). Внутренняя цель преуспевает, если X и Y (которые могут быть произвольными членами) могут быть унифицированы, и это будет двойное отрицание этого. Однако обертывание внутренней цели внутри двойного отрицания создает цель, которая преуспевает, если два члена могут быть унифицированы, но без объединения этих членов.

В качестве упражнения для читателя рассматривается вопрос о том, имеет ли not(not(X == Y)) какую-либо аналогичную утилиту.

Ответ 2

= означает унификацию, это означает, что он попытается связать свободные переменные, чтобы они соответствовали другим членам. например: A = h (X) превратит A в член h (X), если A свободен, и потерпит неудачу, если A обязана сказать 5. объединение велика, потому что вы можете с ним сопоставлять шаблоны, например:

X-Y:Z = 5-[a, b, c]:y

предоставит вам

X = 5, Y = [a, b, c] and Z = y

потому что пролог пытается сделать X-Y: Z соответствует выражению 5- [a, b, c]: y. Это очень полезно.

Обратите внимание, что унификация используется, когда вы вызываете предикат, и некоторые методы следуют: скажем, вы хотите вернуть значение аккумулятора в рекурсивный предикат, вы можете сделать это:

recursive_predicate([], Accumulator, Accumulator).
recursive_predicate(Input, Accumulator, Output) :- %recursive stuff.

первое предложение будет пытаться объединить третий и второй аргументы, поэтому, если третий является бесплатным, он имеет то же значение, что и второе.

== - это равенство, не пытаясь связать переменные.