tuples_in/2 non-relational

Question

UWN opened this issue a year ago · comments

?- A = 0, tuples_in([[A,A]],[[0,1],[2,0]]).
   false.
?-        tuples_in([[A,A]],[[0,1],[2,0]]).
   A = 0, unexpected.

UWN · Answer 1 · Thu Apr 13 2023 15:25:10 GMT+0800 (China Standard Time)

?- tuples_in([[A,A]],[[0,1],[1,0]]).
   A in 0..1, tuples_in([[A,A]],[[0,1],[1,0]]) % weak, but not incorrect
|  false.  % would be much better

UWN · Answer 2 · Thu Apr 13 2023 22:22:56 GMT+0800 (China Standard Time)

Maybe more convincing:

?-        tuples_in([[A,B]],[[0,1],[2,0]]), A = B.
   false.
?- A = B, tuples_in([[A,B]],[[0,1],[2,0]]), A = B.
   A = 0, B = 0, unexpected.