fork download
  1.  
  2. :- initialization(main).
  3.  
  4. % Facts
  5. likes(roger, discretemath).
  6. likes(zidan, football).
  7. likes(roger, zidan).
  8. likes(zidan, roger).
  9. likes(zidan, chocolate).
  10. likes(roger, banana).
  11.  
  12. % Main program
  13. main :-
  14. write('Masukkan Person (contoh: roger): '),
  15. read(Person),
  16. write('Masukkan Thing (contoh: banana): '),
  17. read(Thing),
  18. ( likes(Person, Thing)
  19. -> writeln('true')
  20. ; writeln('false')
  21. ),
  22.  
Success #stdin #stdout #stderr 0.03s 6884KB
stdin
zidan
stdout
Masukkan Person (contoh: roger): 
stderr
ERROR: /home/d3CDrz/prog:2: Initialization goal raised exception:
ERROR: Stream user_input:0:39 Syntax error: Unexpected end of file
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit