Sekarang Saya akan memberi penjelasan mengenai penulisan
Predicate Logic dengan
Bahasa Turbo Prolog, di bawah ini adalah contoh soal yang harus di buat (
PL) nya.
Soal
1. Diketahui representasi pengetahuan sbb :
a. "Lembusora adalah pria"
b. "Beberapa pria adalah pendekar"
c. "Jayakatwang adalah raja"
d. "Lembusora berusaha menggulingkan Jayakatwang"
e. "Semua pendekar adalah Bangsa Singosari"
f. "Semua Bangsa Singosari hanya berusaha menggulingkan rajanya berarti mereka tidak setia kepada rajanya"
Dari Soal diatas buktikan bahwa
"Lembusora tidak setia kepada Jayakatwang" secara Logika.
Disini Saya hanya akan menjelaskan penulisannya dengan
Bahasa Prolog, masalah
PL nya anda bisa melakukan corat-coret pada selembar kertas. Jika anda belum punya Aplikasi Prolog, silahkan anda searching atau mencarinya pada mesin pencari
Google.
Nahh...dibawah ini adalah hasil implementasi ke dalam
Prolog dari soal pengetahuan diatas :
===============
PREDICATE LOGIC
===============
==========
PROLOGIC
==========
Domains
Simbol = string
Predicates
pria(Simbol)
pendekar(Simbol)
singosari(Simbol)
raja(Simbol)
menggulingkan(Simbol, Simbol)
tidaksetia(Simbol, Simbol)
Clauses
pria(lembusora).
raja(jayakatwang).
menggulingkan(lembusora, jayakatwang).
pendekar(X) :- pria(X).
singosari(X) :- pendekar(X).
tidaksetia(X,Y) :- singosari(X), raja(Y), menggulingkan(X,Y).
Sebagai Catatan :
- Pada Predicates penulisan kata simbol harus dimulai dgn huruf besar/kapital. Contoh (Simbol)
- Pada Clauses disetiap akhir statement (kalimat) prolog harus diakhiri dgn titik Contoh pria(lembusora).
- Pada Clauses simbol 'x' harus diinisialisasikan dgn huruf besar/kapital. Contoh (X)
Ini Contoh tampilan dari Prolog jika anda sudah membuatnya :
Nah...itu saja penjelasan dari saya semoga bermanfaat.