CoCalc -- list-length.pl

📚 The CoCalc Library - books, templates and other resources

¹³²⁹⁴⁸ views
License: OTHER

1
lengthof(L, 0) :- L == [].
2
lengthof([_|R], NewLength) :- lengthof(R,Length),
3
                              NewLength is Length+1.
4