fork download 
  1. % lectures(X, Y): instructor X lectures in course Y
  2. lectures(applewhite, 9020).
  3. lectures(applewhite, 9045).
  4. lectures(applewhite, 9030).
  5. lectures(codding, 9010).
  6. lectures(codding, 9310).
  7. lectures(codding, 9350).
  8. lectures(barker, 9135).
  9. lectures(barker, 9225).
  10. lectures(barker, 9040).
  11. lectures(ritch, 9210).
  12. lectures(ritch, 9350).
  13. lectures(ritch, 9120).
  14. lectures(mindale, 9105).
  15. lectures(mindale, 9360).
  16. lectures(mindale, 9250).
  17.  
  18. % studies(X, Y): student X studies in course Y
  19. studies(maria, 9020).
  20. studies(maria, 9010).
  21. studies(maria, 9040).
  22. studies(maria, 9120).
  23. studies(fred, 9020).
  24. studies(fred, 9030).
  25. studies(fred, 9100).
  26. studies(fred, 9250).
  27. studies(jack, 9310).
  28. studies(jack, 9040).
  29. studies(jack, 9350).
  30. studies(jack, 9120).
  31. studies(jill, 9310).
  32. studies(jill, 9360).
  33. studies(jill, 9250).
  34. studies(jill, 9120).
  35. studies(henry, 9360).
  36. studies(henry, 9350).
  37. studies(henry, 9310).
  38. studies(henry, 9250).
  39. studies(mary, 9020).
  40. studies(mary, 9030).
  41. studies(mary, 9040).
  42. studies(mary, 9100).
Success #stdin #stdout 0.02s 6204KB
comments (?)
stdin 
studies(maria, CLASS), lectures(TEACH, CLASS) format('~w\n',TEACH),fail.
stdout 
Standard output is empty
https://ideone.com/y0MC8
language:
Prolog (swi 7.6.4)
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!