% Fakta mahasiswa
student(budi).
student(sari).
student(dewi).
% Fakta mata kuliah
studies(budi, ai).
studies(sari, ml).
studies(dewi, ai).
% Fakta dosen
teaches(media, ai).
teaches(rahmadya, ml).
% Aturan inferensi
taught_by(X, Z) :-
student(X),
studies(X, Y),
teaches(Z, Y).
program :-
taught_by(budi, Z),
write('Bapak / Ibu Dosen yang mengajar Budi adalah: '),
% Program utama untuk Ideone
% program :-
% taught_by(X, Z),
% write(X),
% write(' diajar oleh '),
% write(Z),
% nl,
% fail.
% program.
CiUgRmFrdGEgbWFoYXNpc3dhCnN0dWRlbnQoYnVkaSkuCnN0dWRlbnQoc2FyaSkuCnN0dWRlbnQoZGV3aSkuCgolIEZha3RhIG1hdGEga3VsaWFoCnN0dWRpZXMoYnVkaSwgYWkpLgpzdHVkaWVzKHNhcmksIG1sKS4Kc3R1ZGllcyhkZXdpLCBhaSkuCgolIEZha3RhIGRvc2VuCnRlYWNoZXMobWVkaWEsIGFpKS4KdGVhY2hlcyhyYWhtYWR5YSwgbWwpLgoKJSBBdHVyYW4gaW5mZXJlbnNpCnRhdWdodF9ieShYLCBaKSA6LQogICAgc3R1ZGVudChYKSwKICAgIHN0dWRpZXMoWCwgWSksCiAgICB0ZWFjaGVzKFosIFkpLgoKcHJvZ3JhbSA6LQogICAgdGF1Z2h0X2J5KGJ1ZGksIFopLAogICAgd3JpdGUoJ0JhcGFrIC8gSWJ1IERvc2VuIHlhbmcgbWVuZ2FqYXIgQnVkaSBhZGFsYWg6ICcpLAogICAgd3JpdGUoWiksCiAgICBubC4KCgolIFByb2dyYW0gdXRhbWEgdW50dWsgSWRlb25lCiUgcHJvZ3JhbSA6LQolICAgIHRhdWdodF9ieShYLCBaKSwKJSAgICB3cml0ZShYKSwKJSAgICB3cml0ZSgnIGRpYWphciBvbGVoICcpLAolICAgIHdyaXRlKFopLAolICAgIG5sLAolICAgIGZhaWwuCgolIHByb2dyYW0uCg==