PROLOG代码中的错误

Question

我是序言新手。

我希望PROLOG中的代码能够产生下面给出的预期输出。有人可以告诉我我哪里出错了。

该代码基本上是删除重复项并生成所需格式的o/p。

remove_dups([],_L2,_L2). 
remove_dups([A|B],L2,L3) :- 
    functor(A,Pr,Ar),(member(level(Pr,Ar,1) ,L2) -> remove_dups(B,L2,L2); append([level(Pr,Ar,1)],L2,L3),remove_dups(B,L3,L3)). 

预期输出：

?- remove_dups([a,b,a],[],L). 

L = [level(a,0,1),level(b,0,1)]. 

Answer 1

对于初学者我宁愿两个步骤分离：除去重复的和呈现电平的。

remove_dups([],[]). 
    remove_dups([X|Xs],Ys) :- member(X,Xs), !, remove_dups(Xs,Ys). 
    remove_dups([X|Xs],[X|Ys]) :- remove_dups(Xs,Ys). 

    levels([],[]). 
    levels([X|Xs],[level(N,A,1)|Ys]):- functor(X,N,A), levels(Xs,Ys). 

    go(L,R):- remove_dups(L,RL), levels(RL,R). 

我不得不承认的是，在水平tripples不断1我感到困惑。你确定它不应该有多大意义吗？

我还假定列表元素的顺序并不重要：remove_dups删除除最后一个元素以外的所有重复元素。如果你想保持第一次出现，remove_dups必须修改。