我正在尝试在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] ?