% Effektiv implementation af
% et length-prædikat, som formentligt
% svarer til de fleste systemers indbyggede...
% Denne tekst: (C) 2000, Henning Christiansen

len(V, N):-
   var(V), nonvar(N), !,
   generate_list(V, N).

generate_list([], 0):- !.

generate_list([_|L], N):-
    M is N - 1,
    generate_list(L, M).

len([], 0).

len([_|L], N):-
   len(L, M),
   N is M + 1.

% Det f¿rste specialtilf¾lde er ikke
% med i Bratkos def. s. 92,...

% Uden s¾rskilt regel vil
% len(L, 1000) tage meget lang tid ...