如果我有以下SWI Prolog查询和答案
[A,B,C] ins 1..3, A#= B + C.
需要从下面选择不正确的内容：
A in 2..3,
B in 1..3,
C in 1..3.
我是否正确认为A在2..3中是不可能的，因为在任何情况下都不能A = 3？
答案 0 :(得分：2)
实际上，约束的作用是减少B和C的域。
因为它们的总和必须在1..3范围内，并且两者的范围都为1..3。他们必须假设1..2范围内的值。
然后A in 2..3这是唯一正确答案。