The*_*One 11 resolution prolog unification
为什么会出现这种失败L is [1,2,3,4],而且这工作:L = [1,2,3]？
但是L is 1,L = 1两者都是一样的.
The*_*One 26
is只应在评估右侧的算术运算时使用.即:
X is 1 + 2 + 3
is/2将右手结构评估为算术表达式.如果它不是有效的算术表达式或数字,则is/2失败.否则,算术表达式评估的数字与[推测]未绑定的左手值统一.