빈 목록 목록의 프롤로그 표현

Question

SWI-Prolog에서 빈 목록 목록을 나타내는 방법이 있습니까? 처럼 :

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

나는이

[[]|[]] 

Answer 1

[[],[]], [[],[],[]] 및 [[],[],[],[]] 같은 모든 다른 것들합니다 - 각 목록에있는 요소의 개수가 다르다.

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

가, BTW [[]|[]]가 [[]]과 동일합니다 : 인수가 적어도 하나의 길이의 목록이며, 이러한 요소가 비어 목록 경우

은 아마 당신은 사실이 될 것이다 술어를 무엇.