prolog - 为什么它给我错误的子集的结果？

Question

这段代码不能让我得到子集它总是给出错误的结果

possibleSubset([], []).
possibleSubset([H|T], [H|NT]):-
            possibleSubset(T, NT).
possibleSubset([_|T], NT):-
            possibleSubset(T, NT).

那该怎么办？我有一个项目，明天必须提交，所以请尽快帮助我

标签： prologsubset