factorial(N,F).
factorial(0,1).
factorial(1,1).
factorial(2,2).
factorial(3,6).

factorial(s(M),A) :- factorial(M,B),mult(s(M),B,A).

