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