fork download
  1. :- initialization(main).
  2.  
  3. % Facts
  4. likes(roger, discretemath).
  5. likes(zidan, football).
  6. likes(roger, zidan).
  7. likes(zidan, roger).
  8. likes(zidan, chocolate).
  9. likes(roger, banana).
  10.  
  11. % Main program
  12. main :-
  13. read_line_to_string(user_input, PersonString),
  14. read_line_to_string(user_input, ThingString),
  15. atom_string(Person, PersonString),
  16. atom_string(Thing, ThingString),
  17. ( likes(Person, Thing)
  18. -> writeln(true)
  19. ; writeln(false)
  20. ),
Success #stdin #stdout 0.03s 7028KB
stdin
roger
banana
zidan
roger
stdout
true