空列表列表的序言表示

Question

SWI-Prolog中是否有方法來表示空列表的列表？ 像：

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

我想是這樣的

[[]|[]] 

Answer 1

[[],[]]，[[],[],[]]和[[],[],[],[]]都是不同的事情 - 在每個列表元素的數量是不同的。

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

順便說一句，[[]|[]]相同[[]]：

也許，如果該參數是用至少1長度的列表，這些元素都是空的列表中，您有什麼斷言這將是真實的。