问题
Why does this fail L is [1,2,3,4]
, and this works: L = [1,2,3]
?
But L is 1
, and L = 1
both work the same.
回答1:
is
should only be used when evaluating arithmetic operations on the right-hand side.
i.e.:
X is 1 + 2 + 3
is/2
evaluates the right-hand structure as an arithmetic expression. If it is not a valid arithmetic expression or a number, is/2
fails. Otherwise, the number to which the arithmetic expression evaluted is unified with the [presumably] unbound left-hand value.
来源:https://stackoverflow.com/questions/1525282/prolog-is-vs-with-lists