В настоящее время у меня возникают проблемы при создании набора мощности для данного набора, например [1,2,3], и заполнении списка списков.Я совершенно новичок в Прологе, и я мог генерировать наборы мощности как таковые, но это рекурсивно и возвращает их по одному.
powerset([], []).
powerset([E|Tail], [E|OtherTail]) :-
powerset(Tail, OtherTail).
powerset([_|Tail], OtherTail) :-
powerset(Tail, OtherTail).
Я пытаюсь собрать все это в один список: Example [1,2] -> [[1], [2], [1,2], []]