Prolog 约束编程查找偶数和奇数

Question

我需要创建一个谓词:

applyConstraints(L)

这对 L 中的变量应用了约束，使得 L 中没有两个连续元素都是奇数或偶数，我该怎么做？对于固定尺寸的 L 来说很简单，但是对于可变尺寸的 L 呢？我需要使用 sicstus-prolog clpfd 库来完成此操作。

Answer 1

% SICStus:

applyConstraints([]).
applyConstraints([X|Xs]) :-
    X mod 2 #= R,
    applyConstraints(Xs, R).

applyConstraints([], _).
applyConstraints([X|Xs], R) :-
    X mod 2 #= S,
    S #\= R,
    applyConstraints(Xs, S).

% Query:

| ?- applyConstraints(L), length(L,2), !, domain(L,-2,2), labeling([],L).
L = [-2,-1] ? ;
L = [-2,1] ? ;
L = [-1,-2] ? ;
L = [-1,0] ? ;
L = [-1,2] ? ;
L = [0,-1] ? ;
L = [0,1] ? ;
L = [1,-2] ? ;
L = [1,0] ? ;
L = [1,2] ? ;
L = [2,-1] ? ;
L = [2,1] ? ;
no