fork download 
  1. number(s(0)).
  2. number(s(s(X))):-number(X).
  3.  
Compilation error #stdin compilation error #stdout 0s 0KB
comments (?)
stdin 
number(3).
compilation info 
prog.pl:1: fatal error: redefining built-in predicate number/1
compilation failed
stdout 
Standard output is empty
https://ideone.com/G7a98
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!