Почему =:= выдает ошибку, когда переменная не создается, а == нет?

Question

Почему =:= выдает ошибку, когда переменная не создается, а == нет?

3 == X.

приведет к ответу "нет", но

3 =:= X

приведет к ошибке:

! Instantiation error in argument 2 of (=:=)/2
! goal:  3=:=_409

Почему это происходит? Разве они оба не должны вести себя одинаково, когда кто-то является необоснованной переменной?

2

prolog instantiation-error

Источник

user3185860 04 мар '17 в 11:43

1 ответ

Решение

Другие вопросы по тегам prolog instantiation-error

user730252 04 мар '17 в 12:02 2017-03-04 12:02 · Accepted Answer · 2017-03-04 12:02

=:=/2 оценит выражения и сравнит результаты - поэтому в нем не может быть терминов, которые не были полностью созданы.

Другими словами, X =:= Y похож на EX is X, EY is Y, EX = EY - но это также будет делать неявное приведение, например 1 =:= 1.0 оценивает как истинное.