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 no
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!