为什么子集（X，[1,2]）不生成所有子集？

Question

我正在学习Prolog，我的理解是你经常会问“反向问题”，例如而不是使用member(X,Y)询问X是否在Y中，请使用它来生成包含X的所有列表。

subset(1,[1,2])有效，但subset(X,[1,2])由于某种原因返回X = []。

是什么原因？

（SWI-Prolog的）