Write a prolog program to factorial of number

Write a prolog program to factorial of number.

Code :

factorial(0,1).

factorial(N,F) :- 
   N>0,
   N1 is N-1,
   factorial(N1,F1),
   F is N * F1.
factorial(0,F,F).

Output :