Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- use_module(library(clpfd)). list_length([], 0). list_length([_|Ls], N) :- N #> 0, N #= N0 + 1, list_length(Ls, N0). list_length2([], 0). list_length2([_|Ls], N) :- N #= N0 + 1, list_length2(Ls, N0).