Write the Prolog rules for factorial$($X$,$Y$)$ which sets Y to the factorial of X$.$

Recall the factorial of $0$ is $1$ and the factorial of X is Z if X is not equal to $0$ and Z is equal to X$*$W where W is the factorial of X$-1.$