Процедура отличия списка Prolog

Я пытаюсь реализовать процедуру разности списков в прологе. По какой-то причине следующее не удается:

difference(Xs,Ys,D) :- difference(Xs,Ys,[],D).
difference([],_,A,D) :- D is A, !.
difference([X|Xs],Ys,A,D) :-
  not(member(X,Ys)),
  A1 is [X|A],
  difference(Xs,Ys,A1,D).

При попытке:

?- difference([1,2],[],D).

Я получаю эту ошибку:

ERROR: '.'/2: Type error: `[]' expected, found `1' ("x" must hold one character)
^  Exception: (10) _L161 is [2|1] ?

list prolog set-theory
person TheOne    schedule 06.10.2009    source источник

Ответы (2)


arrow_upward
10
arrow_downward

Ваше использование A1 равно [X|A] неверно. Предикат is используется только для арифметических операций. Кстати, SWI-Prolog имеет встроенный предикат вычитания:

1 ?- subtract([1,2,3,a,b],[2,a],R).
R = [1, 3, b].

2 ?- listing(subtract).
subtract([], _, []) :- !.
subtract([A|C], B, D) :-
        memberchk(A, B), !,
        subtract(C, B, D).
subtract([A|B], C, [A|D]) :-
        subtract(B, C, D).

true.

Это то, что тебе надо?

person Volodymyr Gubarkov    schedule 06.10.2009

arrow_upward
2
arrow_downward

Использование find all решение становится очевидным:

difference(Xs,Ys,D) :- 
  findall(X,(member(X,Xs),not(member(X,Ys))),D).
person TheOne    schedule 06.10.2009