factorial(0,1). factorial(N,F) :- N>0, N1 is N-1, factorial(N1,F1), F is N * F1.
?-fac(5,X)
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz
uncaught exception: error(syntax_error('user_input:1 (char:3) . or operator expected after expression'),read_term/3)