countdown(X) :- X>0,X is X-1,countdown(X).
?- countdown(9)
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)
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!