我正在尝试编写一个 Prolog (CLP) 谓词,该谓词将构建一个约束两个列表不等式的约束。
更正式地说,有两个列表A=[A1,...,AN], B=[B1,...,BN]
,约束被定义为(A1 #\= B1) #\/ (A2 #\= B2) #\/ ... #\/ (AN #\= BN)
。
给定两个任意长度的列表,我不确定如何构建此约束。这是我的尝试。我明白为什么它不起作用,但无法修复它。
any_different([], []).
any_different([H1|T1], [H2|T2]):-
H1 #\= H2 #\/ any_different(T1, T2).