Comptage des éléments de sous-liste dans Prolog

Question

Comment comptabiliser les éléments de liste imbriqués dans Prolog? Je les prédicats suivants définis, qui comptera une liste imbriquée comme un élément:

length([ ], 0). 
length([H|T],N) :- length(T,M), N is M+1. 

Utilisation:

?- length([a,b,c],Out). 
Out = 3 

Cela fonctionne, mais je voudrais compter des éléments imbriqués ainsi dire

length([a,b,[c,d,e],f],Output). 
?- length([a,b,[c,d,e],f],Output). 

Output = 6

Answer 1

len([H|T],N) :- 
    len(H, LH), 
    len(T, LT), 
    !, 
    N is LH + LT. 
len([], 0):-!. 
len(_, 1):-!. 

Test:

?- len([a,b,[c,d,e],f],Output). 
Output = 6.