Prolog 是 vs = 带列表

Question

为什么这会失败 L is [1,2,3,4]，而这有效：L = [1,2,3]？

但L is 1 和L = 1 的工作方式相同。

Answer 1

is 仅应在计算右侧算术运算时使用。 即：

X is 1 + 2 + 3

is/2 将右手结构计算为算术表达式。如果它不是有效的算术表达式或数字，is/2 将失败。否则，算术表达式求值的数字与[大概]未绑定的左手值统一。