fork download
copy 
  1. :- set_prolog_flag(verbose,silent).
  2. :- prompt(_, '').
  3. :- use_module(library(readutil)).
  4.  
  5. add_1(X,s(X)).
  6.  
  7. main:-
  8. 	process,
  9. 	halt.
  10.  
  11. process:-
  12. 	/* your code goes here */
  13. 	L=[add_1,s(0),Y],
  14. 	X=..L,
  15. 	X,
  16. 	write(Y),
  17. 	true.
  18.  
  19. :- main.
Success #stdin #stdout 0.03s 6280KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
s(s(0))
https://ideone.com/dYT1RX
language:
Prolog (swi 7.6.4)
created:
5 hours 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!