J'essaie d'implémenter une routine de différence de liste dans prolog. Pour une raison qui suit échoue:routine de différence de liste 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).
Lorsque vous essayez:
?- difference([1,2],[],D).
Je reçois cette erreur:
ERROR: '.'/2: Type error: `[]' expected, found `1' ("x" must hold one character)
^ Exception: (10) _L161 is [2|1] ?