Добавление в Прологе

Question

Есть ли способ я могу создать функцию для того/3, который делает это:
оных (1,2, X) - Х 3.
добавить (1, X, 3) - X равно 2.
add (X, 2,3) - X равно 1.

Answer 1

В качестве новичка лучше всего использовать library(clpfd), который обеспечивает все эти функциональные возможности; и даже больше. С

?- use_module(library(clpfd)). 

Мы начинаем, в SICStus вы должны теперь сказать assert(clpfd:full_answer), то мы имеем:

?- 1+2#=Z. 
Z = 3. 

?- 1+Y#=3. 
Y = 2. 

, как вы ожидали. Но даже больше!

?- X+X#=Z. 
2*X#=Z. 

?- X+X#=X. 
X = 0. 

?- X+Y#=Z. 
X+Y#=Z.