Разница между `is` и` = `?

Question

Я определил эти два предиката плюс:

plus1(A, B, C):- C is A + B.
plus2(A, B, C):- C = A + B.

Как и ожидалось, plus1(4, 5, X) дает результат X = 9.

Но plus2(4, 5, X) дает результат X = 4+5, что не так, но я ожидал результата 9.

Так почему он не выполняет никаких вычислений, в чем разница между is и =, и когда я должен использовать что?

Answer 1

Я не хотел оставлять этот вопрос без ответа.

Как прокомментировал Виллем Ван Онсем , is - для вычисления числовых выражений, а = - для объединение.

Я также нашел эту статью об объединении для будущих читателей с тем же вопросом.