Удалить пустые списки из списков списков в Прологе

Question

Например, у меня есть список:

[ [], [], [], [1], [2,2], [3] ]

Как я могу удалить пустые элементы из этого списка?

Answer 1

Используя findall / 3 и member / 2, мы можем написать таким образом

?- findall([H|T],member([H|T],[[], [], [], [1], [2,2], [3]]),L).
L = [[1], [2, 2], [3]].

Здесь объединение Аргумент шаблона, который копируется в L с первым аргументом member / 2, отбрасывает пустые списки.

Answer 2

Мы можем сделать предикат, который успешно выполняется для пустых списков:

empty([]).

Тогда мы можем использовать exclude/3 [swi-doc] для отфильтровать элементы, для которых предикат завершается успешно:

exclude(empty, [[], [], [], [1], [2,2], [3]], L).

Это дает нам:

?- exclude(empty, [[], [], [], [1], [2,2], [3]], L).
L = [[1], [2, 2], [3]].