m:- \0. \N:-get0(X),X>0,put(X),N/X. N/10:-tab(N),\N. N/_:- \(N+1).