Blame | Last modification | View Log | RSS feed
len([],0). len([X|Y],N) :- len(Y,M), N is M+1.
len([],0).
len([X|Y],N) :- len(Y,M), N is M+1.