В чем разница между == и = в Прологе?

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

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