Write a Prolog predicate factorial$(N,$ Result$)$ that calculates the factorial of a given number $N$ and binds the result

to Result

Base case: the factorial of $0$ is $1.$

Recursive case: If $N$ is greater than $0,$ it calculates the factorial of $N-1$ using recursion $($by invoking

factorial$($N$1,$ Result$1)),$ and then multiplies it by $N$ to get the factorial of $N.$

Use the following Query as a test case: