0

我是序言的新手。

我希望我在 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)].
4

1 回答 1

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).

我不得不承认，1三倍关卡中的常数让我感到困惑。你确定它不应该更有意义吗？

我还假设列表元素的顺序并不重要：remove_dups删除所有出现的重复元素，除了最后一个。如果您想保留第一次出现，remove_dups则必须进行修改。

于 2012-05-01T19:47:27.700 回答