% -*- prolog -*-

len([], 0).
len([A|X], N) :- N>0, len(X,M), N is M+1.