prolog - 列出不等式约束

我正在尝试编写一个 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).

最佳答案

您需要建立析取并通过第三个参数返回它:

any_different([], [], V) :-
    V #= 0.  % no differences between [] and []
any_different([H1|T1], [H2|T2], Disj) :-
    any_different(T1, T2, Disj0),
    Disj #<==> (H1 #\= H2) #\/ Disj0.

现在，调用 any_different(List1, List2, AnyDiff) 会限制一个变量 AnyDiff，您可以将其与其他变量一起传递给标签谓词。通过声明 AnyDiff #= 0，您可以将 List1 和 List2 限制为相等，而 AnyDiff #= 1 将导致它们不相等。

关于prolog - 列出不等式约束，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/14002112/