fak(0,1):-!.
fak(N,F):-X is N-1, fak(X,B),F is B*N.

/* Poziva se sa: fak(Argument,Rezultat). */