num(1).num(X) :- X>0. write(X). X is X-1.
?- num(10)
prog.pl:4: fatal error: redefining built-in predicate write/1 compilation failed
Standard output is empty
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!