Все разные глобальные ограничения в прологе clpfd - PullRequest
Новая
       48

Все разные глобальные ограничения в прологе clpfd

0 голосов
/ 27 декабря 2018

Я пытаюсь создать пользовательское глобальное ограничение clpfd, которое очень похоже на ограничение all_diferent.

Ограничение должно разрешать только списки с разными ненулевыми элементами (поэтому может быть несколько нулей).

Вот рабочий пример в SICSTUS Prolog: 

:- use_module(library(clpfd)).

mask([], [], []).
mask([H1|T1], [H2|T2], [P|R]) :- 
    P #= H1 * H2, mask(T1, T2, R).

diff(L) :-
    diff_rec(L, L).

diff_rec([], _).
diff_rec([H|T], L) :-
    fd_global(diff_zero(H, T, L), no_state, [val(H)]), 
    diff_rec(T, L). 

:-multifile clpfd:dispatch_global/4. 
clpfd:dispatch_global(diff_zero(X, Tail, List), S, S, Actions):- 
    (ground(X) -> 
        filter_diff(List, X, Tail, Actions) 
    ; 
        Actions = [] 
    ). 

filter_diff(_, 0, _, [exit]). 
filter_diff([], _X, _Tail, [exit]). 
filter_diff([Y|T], X, Tail, Actions):- 
    (T==Tail -> 
        Actions = RestActions 
    ; 
        fd_set(Y, SetY), 
        fdset_del_element(SetY, X, NewSetY), 
        Actions = [Y in_set NewSetY | RestActions] 
    ),!,
    filter_diff(T, X, Tail, RestActions). 

all_diff_zero(L, X) :-
  length(L, N),
  length(X, N),
  domain(X, 0, 1),
  mask(L, X, M),
  diff(M),
  !,
  labeling([], X).

Для данного списка предикат all_diff_zero должен найти двоичную маску, которая вместе с исходным списком дает список со всеми различныминенулевые элементы.

После комментирования строки с помощью filter_diff(_, 0, _, [exit])., diff работает как обычное все другое ограничение (так, например, all_diff_zero([ 3 , 1 , 1 ], X). дает мне просто X = [1,0,1]; X = [1,1,0]).

Тем не менее, все отличные или нулевые ограничения с этой строкой вообще не работают: 

?- all_diff_zero([ 3 , 1 , 1 ], X).
X = [0,0,0] ? ;
X = [0,0,1] ? ;
X = [0,1,0] ? ;
X = [0,0,0] ? ;
X = [0,0,1] ? ;
X = [0,1,0] ? ;
X = [0,1,0] ? ;
X = [1,0,0] ? ;
X = [1,0,0] ? ;
X = [1,0,1] ? ;
X = [1,0,0] ? ;
X = [1,0,0] ? ;
X = [1,0,1] ? ;
X = [1,0,0] ? ;
X = [1,0,0] ? ;
X = [1,0,1] ? ;
X = [1,0,1] ? ;
X = [1,0,1] ? ;
X = [1,1,0] ? ;
X = [1,1,0] ? ;
X = [1,1,1] ? ; % wrong 
X = [1,1,0] ? ;
X = [1,1,1] ? ; % wrong 
X = [1,1,0] ? ;
X = [1,1,1] ? ; % wrong 
X = [1,1,0] ? ;
X = [1,1,1] ? ; % wrong

Обратите внимание, что желаемый вывод: 

?- all_diff_zero([ 3 , 1 , 1 ], X).
X = [0,0,0] ? ;
X = [0,0,1] ? ;
X = [0,1,0] ? ;
X = [1,0,0] ? ;
X = [1,1,0] ? ;
X = [1,0,1] ? ;
...