Codekata o howto en Prolog para almacenar el conocimiento de lo que es el factorial de un número y poder así hacerle consultas. Sólo hace falta un intérprete de Prolog para ejecutarlo.
Código fuente
% Factorial de un numero:
factorial(0, 1).
factorial(X, Y) :-
X>0,
A is X-1,
factorial(A, B),
Y is X*B,
!.
factorial(_, _) :-
write('No existe el factorial de ese número!'),
nl.El primer predicado es el caso base. La segunda regla es la que aplica la recursión, haciendo el cálculo del factorial en sí. La tercera regla es para contemplar el caso de que no se cumplan las anteriores, aplicará por ejemplo en casos como factorial(-1, X).
