Определить количество ненулевых элементов списка - Prolog

domains
int=integer
intl=int*
 
predicates
nz_count(intl,int)
 
clauses
nz_count([],0).
nz_count([H|T],N) :- H<>0, nz_count(T,N1), N=N1+1.
nz_count([H|T],N) :- H=0, nz_count(T,N).