Assume that the rule factorial(N, Fac) will compute Fac = N!. What should be the output if the following question is asked? ?- factorial(2, 5).

Assume that the rule factorial(N, Fac) will compute Fac = N!. What should be the output if the following question is asked? ?- factorial(2, 5).

Assume that the rule factorial(N, Fac) will compute Fac = N!. What should be the output if the following question is asked?

?- factorial(2, 5).

Answers:
A.

Fac is 5

B.

yes

C.

no

D.

instantiation_error

Answer. C.