fork download
  1.  
  2. % Fakta mahasiswa
  3. student(budi).
  4. student(sari).
  5. student(dewi).
  6.  
  7. % Fakta mata kuliah
  8. studies(budi, ai).
  9. studies(sari, ml).
  10. studies(dewi, ai).
  11.  
  12. % Fakta dosen
  13. teaches(media, ai).
  14. teaches(rahmadya, ml).
  15.  
  16. % Aturan inferensi
  17. taught_by(X, Z) :-
  18. student(X),
  19. studies(X, Y),
  20. teaches(Z, Y).
  21.  
  22. program :-
  23. taught_by(budi, Z),
  24. write('Bapak / Ibu Dosen yang mengajar Budi adalah: '),
  25. write(Z),
  26. nl.
  27.  
  28.  
  29. % Program utama untuk Ideone
  30. % program :-
  31. % taught_by(X, Z),
  32. % write(X),
  33. % write(' diajar oleh '),
  34. % write(Z),
  35. % nl,
  36. % fail.
  37.  
  38. % program.
  39.  
Success #stdin #stdout #stderr 0.01s 5912KB
stdin
?- taught_by(zainal, Z).
stdout
Bapak / Ibu Dosen yang mengajar Budi adalah: media
stderr
% halt