mortal(X):-man(X).man(socrates).
mortal(X).
GNU Prolog 1.3.1 By Daniel Diaz Copyright (C) 1999-2009 Daniel Diaz X = socrates yes
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!