loops - 结果后的 Prolog 循环

Question

所以我写了这个谓词来查找列表的所有可能的子集+排列。
我得到了正确的输出，但由于某种原因，程序在给我所有(正确)结果后继续循环。

我究竟做错了什么？

% Gets all subsets of a list
aSubset([], []).
aSubset([E|Tail], [E|NTail]):- aSubset(Tail, NTail).
aSubset([_|Tail], NTail):- aSubset(Tail, NTail).

% gets all subsets and permutates them
allSubsets([],[]).
allSubsets(X, Res) :- permutation(S, Res), aSubset(X, S).

我为 allSubsets([1,2,3], X) 得到的结果是:

4 ?- allSubsets([1,2,3], X).
X = [] ;
X = [1] ;
X = [2] ;
X = [3] ;
X = [1,2] ;
X = [1,3] ;
X = [2,3] ;
X = [2,1] ;
X = [3,1] ;
X = [3,2] ;
X = [1,2,3] ;
X = [1,3,2] ;
X = [2,1,3] ;
X = [2,3,1] ;
X = [3,1,2] ;
X = [3,2,1] ;
Action (h for help) ? abort
% Execution Aborted

我必须在最后两行中止循环。

提前致谢。

Answer 1

不仅allSubset([1,2,3], X)循环，但还有更短的 allSubset([], X) .

以下程序片段 ( failure-slice ) 已经循环。所以没有必要再看下去了。

allSubsets([],[]) :- 假。
allSubsets(X, Res) :-
排列(S，Res)，假，
子集(X，S)。

为了改善这一点，您需要更改可见部分的某些内容。目前，只有 Arg2 ( Res ) 可以影响目标 permutation(S, Res) , Arg1 ( X ) 仅出现在第二个目标中，此时影响(普遍)第一个目标的终止已经太晚了。