fork download
copy 
  1. mortal(X):-man(X).
  2. man(socrates).
Success #stdin #stdout 0.02s 68352KB
comments (?)
stdin
copy 
mortal(X).
stdout
copy 
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz

X = socrates

yes
https://ideone.com/CE7sa
language:
Prolog (gprolog 1.4.5)
created:
14 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!