prolog - 在序言中排除 tuples_in 列表

Question

简而言之，这就是问题所在:
16 名 child 将坐在 4 x 4 排列的椅子上。 children 是8个女孩(编号1..8)和8个男孩(编号9..16)。
1,3,5,8 认为男孩很恶心
9,10,11,14 认为女孩很恶心
这些对是敌人:
[[1,2], [4,6], [4,7], [4, 9],[9,11], [12, 14], [14,16]]

发现两个 child 不是敌人的谓词定义为:

not_enemy(A, B) :-
    NotA #\= A #\/ NotB #\= B,
    tuples_in([[NotA, NotB]],
              [[1,2], [4,6], [4,7], [4, 9],[9,11], [12, 14], [14,16]]).

找到上面的代码 here

但是当我查询 ?- not_enemy(1,2) 时，输出为真。

我必须改用这个长代码:

not_enemy(A, B) :-
          A #=1 #==> B #\= 2,
          A #=4 #==> B #\= 6,
          A #=4 #==> B #\= 7,
          A #=4 #==> B #\= 9,
          A #=9 #==> B #\= 11,
          A #=12 #==> B #\= 14,
          A #=14 #==> B #\= 16.

任何人都可以帮忙纠正第一段代码吗？提前致谢。

Answer 1

我会完善你的代码，只是为了使它通用

not_enemy(A, B) :-
    maplist(not_enemy(A,B), [[1,2], [4,6], [4,7], [4,9], [9,11], [12,14], [14,16]]).
not_enemy(A,B,[X,Y]) :-
    X #= A #==> Y #\= B.

我找不到合适的方法来使用 tuples_in 来解决这个问题。