%trace domains i=integer predicates silnia(i,i) clauses silnia(X,N) :- N>1,N1=N-1,silnia(X1,N1),X=N*X1. silnia(1,1).