Membuat Predicate Logic dengan Bahasa Turbo Prolog

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 :