Bravo :) Hvala LP, Domen
On 8/26/07, Dejan Jusufovič <[EMAIL PROTECTED]> wrote: > > countvar(X,0) :- atomic(X),!. % konstanta = 0 > > countvar(X,1) :- var(X),!. % spr = 1 > > countvar(Term,N) :- > arg(1,Term,A), % ce pride do sem gre za strukturo, z > relacijo arg se ne rabis obremenjevat glede operatorja > arg(2,Term,B), % dobis prvi in drugi argument > countvar(A,N1), % zracunas st.spremenljivk > countvar(B,N2), > N is N1 + N2. % sestejes >
