超级noobish prolog算术

Question

prolog非常新。对于一个程序，我想说A1 = X1 + X2 + X3 + X4加起来16。另外，我想说X1必须= 1.注意X1到Xn都是1-9的置换数。 我按以下方式编写代码

 A1 is (X1 is 1) + X2 + X3 + X4, A1 =:= 16. 

从此我得到编译器错误算术：`_7206是6＆＃39;不是一个功能

如果我更换＆＃39;是＆＃39;它是一样的。 in（X1是1）with =，或=：=

P.S如果格式保持不变，首选答案会很棒。