Program Prolog Kasus Pembunuhan

DOMAINS
    nama,jender,pekerjaan,benda,alasan,zat = symbol
    umur=integer
PREDICATES
    nondeterm orang(nama, umur, jender, pekerjaan)
    nondeterm selingkuh(nama, nama)
    terbunuh_dengan(nama, benda)
    terbunuh(nama)
    nondeterm pembunuh(nama)
    motif(alasan)
    ternodai(nama, zat)
    milik(nama, benda)
    nondeterm cara_kerja_mirip(benda, benda)
    nondeterm kemungkinan_milik(nama, benda)
    nondeterm dicurigai(nama)

/* * * Fakta-fakta tentang pembunuhan * * */
CLAUSES
    orang(rudi,55,m,tukang_kayu).
    orang(adi,25,m,pemain_sepak_bola).
    orang(adi,25,m,tukang_jagal).
    orang(joni,25,m,pencopet).

    selingkuh(lina,joni).
    selingkuh(lina,rudi).
    selingkuh(siti,joni).
    terbunuh_dengan(siti,pentungan).
    terbunuh(siti).

    motif(uang).
    motif(cemburu).
    motif(dendam).

    ternodai(rudi, darah).
    ternodai(siti, darah).
    ternodai(adi, lumpur).
    ternodai(joni, coklat).
    ternodai(lina, coklat).

    milik(rudi,kaki_palsu).
    milik(joni,pistol).

/* * * Basis Pengetahuan * * */
    cara_kerja_mirip(kaki_palsu, pentungan).
    cara_kerja_mirip(balok, pentungan).
    cara_kerja_mirip(gunting, pisau).
    cara_kerja_mirip(sepatu_bola, pentungan).
    kemungkinan_milik(X,sepatu_bola):-
    orang(X,_,_,pemain_sepak_bola).
    kemungkinan_milik(X,gunting):-
    orang(X,_,_,pekerja_salon).
    kemungkinan_milik(X,Benda):-
    milik(X,Benda).

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* dicurigai semua orang yang memiliki senjata yang *
* kerjanya mirip dengan senjata penyebab siti terbunuh. *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * */

     dicurigai(X):-
     terbunuh_dengan(siti,Senjata) ,
     cara_kerja_mirip(Benda,Senjata) ,
     kemungkinan_milik(X,Benda).

/* * * * * * * * * * * * * * * * * * * * * * * * * *
* dicurigai laki-laki yang selingkuh dengan siti. *
* * * * * * * * * * * * * * * * * * * * * * * * * */

    dicurigai(X):-
     motif(cemburu),
     orang(X,_,m,_),
     selingkuh(siti,X).

/* * * * * * * * * * * * * * * * * * * * * * *
* dicurigai perempuan yang selingkuh dengan *
* laki-laki yang juga selingkuh dengan siti *
* * * * * * * * * * * * * * * * * * * * * * */

    dicurigai(X):-
     motif(cemburu),
     orang(X,_,f,_),
     selingkuh(X,Lakilaki),
     selingkuh(siti,Lakilaki).

/* * * * * * * * * * * * * * * * * * * * * * * * * * *
* dicurigai pencopet yang mempunyai motif uang. *
 * * * * * * * * * * * * * * * * * * * * * * * * * * */

    dicurigai(X):-
     motif(uang),
     orang(X,_,_,pencopet).

    pembunuh(Pembunuh):-
     orang(Pembunuh,_,_,_),
     terbunuh(Terbunuh),
     Terbunuh <> Pembunuh, /* Bukan bunuh diri */
     dicurigai(Pembunuh),
     ternodai(Pembunuh,Zat),
     ternodai(Terbunuh,Zat).