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
