Пролог-представление списка пустых списков

#list #prolog #nested-lists

#Список #пролог #вложенные списки

Вопрос:

Есть ли способ в SWI-Prolog представить список пустых списков? Нравится:

 [[],[]],
[[],[],[]],
[[],[],[],[]]   
 

Я хочу что-то вроде этого

 [[]|[]]
 

Ответ №1:

[[],[]] , [[],[],[]] и [[],[],[],[]] все это разные вещи — количество элементов в каждом списке разное.

Может быть, у вас есть какой-то предикат, который будет истинным, если аргумент представляет собой список длиной не менее 1, и эти элементы являются пустыми списками:

 lel([[]]).
lel([[] | T]) :-
    lel(T).
 

Кстати, [[]|[]] это то же [[]] самое, что и .