fork download
copy 
  1. 死ぬ(X):-人間(X).
  2. 人間(ソクラテス).
  3. main:
  4. (人間(ソクラテス)->
  5. write('ソクラテスは死ぬ'),nl
  6. ;
  7. write('証明できない'),nl
  8. ),
  9. halt.
  10. :-initialization(main).
Success #stdin #stdout #stderr 0.02s 7084KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
stderr
copy 
ERROR: /home/fx6bnM/prog:3:
	Full stop in clause-body?  Cannot redefine ,/2
ERROR: /home/fx6bnM/prog:10: Initialization goal raised exception:
ERROR: prolog_main:main/0: Undefined procedure: main/1
ERROR:   However, there are definitions for:
ERROR:         main/0
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit
https://ideone.com/x7rsOG
language:
Prolog (swi 7.6.4)
created:
7 days 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!