小编aru*_*box的帖子

我正在寻找一个像这样工作的谓词:

?- subset([1,2,3], X).
X = [] ;
X = [1] ;
X = [2] ;
X = [3] ;
X = [1, 2] ;
X = [1, 2, 3] ;
X = [2, 3] ;
...

我已经看到了一些subset实现,但是当你想检查一个列表是否是另一个列表的子集时,它们都可以工作,而不是在你想要生成子集时.有任何想法吗？