Prolog表示空列表的列表

Question

SWI-Prolog中有没有办法表示空列表？ 像：

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

我想要这样的东西

[[]|[]]

Answer 1

[[],[]]，[[],[],[]]和[[],[],[],[]]都是不同的东西 - 每个列表中的元素数量不同。

如果参数是一个长度至少为1的列表并且这些元素是空列表，那么也许你的谓词是真的：

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

顺便说一下，[[]|[]]与[[]]相同。