list - Prolog - 如何返回每个元素只出现一次的列表？

Question

我有一个谓词 set/2 应该将第二个参数实例化为一个列表，其元素只是第一个参数中每个术语的一次出现。到目前为止，我所拥有的是:

set([],OutList).
set([X|InList],OutList) :- \+member(X,InList), append([X], OutList, OutListNew), set(InList,OutListNew).                      
set([X|InList],OutList) :- member(X,InList), set(InList,OutList).

并调用 set/2:

set([1,1,2,3],X).

返回真。那是一半 - 我希望 X 被实例化为 [1,2,3] - 但我不确定在这种情况下如何使 X 为真。任何帮助和解释将不胜感激。

Answer 1

你的 Prolog 应该警告你有一个 单例 在第一个条款中，即

set([],OutList).

这意味着当执行命中这样的子句时，它 成功 , 但是 OutList仍然不受约束。
现在应该清楚您需要替换 OutList与空列表。
另一个错误位于第二个子句中。 append([X], OutList, OutListNew)应该改为 append([X], OutListNew, OutList) .作为一种风格说明，它可以用这个统一代替: [X|OutListNew]=OutList ，然后移动到头部。