factorial(0,1). factorial(A,B) :- A > 0, C is A-1, factorial(C,D), B is A*D.
?- factorial(10,What).
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz
uncaught exception: error(syntax_error('user_input:1 (char:4) . or operator expected after expression'),read_term/3)