RosettaCodeData/Task/Factorial/Prolog/factorial-1.pro

3 lines
64 B
Prolog

fact(X, 1) :- X<2.
fact(X, F) :- Y is X-1, fact(Y,Z), F is Z*X.