프롤로그는 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 실패합니다. 그렇지 않으면, 산술 표현식이 평가 된 숫자는 [아마도] 언 바운드 왼손 값으로 통일됩니다.