Re: Newbie can't understand Prolog answer

On Wed, 23 Jan 2008 17:42:29 +0100, Markus Triska wrote:

:- use_module(library(clpfd)).

fac(0, 1).
fac(N, F) :- N #> 0, F #= F0*N, N1 #= N - 1, fac(N1, F0).
Making it deterministic when possible is left as an exercise.

What did you mean by "deterministic" in the above sentence ?

Cheers

Bart Demoen
.