删除重复在回溯

Question

我有一个谓词next实质上是从列表中删除数字，试图减少列表的整体大小。

因此，例如，我有一个列表：

[3,2,1] 

接下来会从列表中删除某些值，所以它会返回类似这样

[3,2] or [3,1] or [3] or [2,1] etc 

我运行一个脚本找到所有可能的动作：

findall(T, next([2,3], T), U). 

问题是重复值的列表，如：

L = [1,1,1,1]. 

通话

findall(T, next([1,1,1,1], T), U). 

将统一U与[[1,1,1], [1,1,1], [1,1,1], [1,1,1]]

有没有办法让Prolog的理解，它是相同的输出多次回国？

next([_ | T], T). 
next([H | Tin], [H | Tout]) :- 
    next(Tin, Tout). 

Answer 1

这似乎是一个作品setof/3

setof(T, next([1,1,1,1], T), U) 

---编辑---

的OP说

这并做到这一点，但它是一个有点哈克修补程序，我正在寻找在下一个谓词的变化

我不认为这是一个很好的解决方案下面，我怀疑这是更好地利用setof/3与原next/2但是......

next(Lin, LLout) :- 
    nextH(Lin, [], LLout). 

nextH([], _, []). 
nextH([H | Tin], Pre, LLout1) :- 
    append(Pre, Tin, L), 
    append(Pre, [H], Pre0), 
    nextH(Tin, Pre0, LLout0), 
    (member(L, LLout0) 
    -> LLout1 = LLout0 
    ; LLout1 = [L | LLout0]). 

--- EDIT 2 ---

的OP问

你怎么会在接下来的谓语用SETOF？

如果使用原来的next/2谓词产生单打名单（但我记得nextH，“下一个帮手”）

nextH([_ | T], T). 
nextH([H | Tin], [H | Tout]) :- 
    nextH(Tin, Tout). 

的next/2谓词返回的唯一列表成为一个简单的列表（使用setof/3）

next(Lin, LLout) :- 
    setof(Lout, nextH(Lin, Lout), LLout).