Basic Concept

 Facts and Rules

A. Fakta dan Relasi
Karena fakta (fact) menunjukkan keadaan nyata, maka fakta selalu bernilai "benar".
Penulisan fakta pada prolog selalu diakhiri dengan tanda titik.
Fakta dibedakan dua macam, yakni

1. Menunjukkan relasi 
2. Menunjukkan sifat / milik

Contoh, terdapat fakta 

                  Adi adalah ayah Amir.

Maka, penulisan pada prolog

                    ayah(amir,adi).

Dimana ayah menunjukkan relasi antara Amir dan Adi.

 

Contoh lainnya, terdapat fakta

                 Renny adalah seorang wanita

Maka, penulisan pada prolog

                   wanita(renny).   
Contoh lain: 
                  pasangan presiden dengan wakilnya:




B. Aturan (Rules)
Aturan merupakan peryataan yang menunjukkan interaksi dari fakta-fakta yang akhirnya membentuk suatu kesimpulan. Dapat dikatakan aturan merupakan logika yang dibuat dalam bentuk hubungan sebab-akibat dan hubungan implikasi.

contohnya, terdapat fakta:
            Dita suka mangga
dan terdapat aturan:
            Doni suka buah yang disukai oleh Dita
maka, Doni suka buah jika Dita suka buah itu juga. Sehingga dapat disimpulkan bahwa Doni suka mangga.

Jika dituliskan pada prolog, maka penulisannya:
fact:
            suka(dita,mangga).
rule:
            suka(doni,buah):-suka(dita,buah).

* tanda :- merupakan simbol "if" pada prolog.

contoh lainnya:
Dibuat aturan bahwa jika A adalah bapak dari X dan X adalah bapak atau ibu dari Z maka dapat dipastikan bahwa A adalah kakek dari Z.
Maka, penulisan pada prolog:
rules:
              kakek(A,Z) :- bapak(A,X), bapak(X,Z).
              kakek(A,Z) :- bapak(A,X), ibu(X,Z).
Contoh lain: 
                  pasangan presiden dengan wakilnya:

C. Klausa (Clause)

Aturan yang ditulis ini berupa klausa (clause) dan terdiri dari kepala dan tubuh 

yang dipisahkan oleh tanda :- . Klausa adalah suatu frase (ungkapan) di Prolog yang dapat berupa fakta atau aturan, yang selalu diakhiri dengan tanda titik (.). Suatu tubuh klausa dapat terdiri dari beberapa sub-klausa yang dihubungkan satu sama lain menggunakan tanda koma (,) yang berarti hubungan "and" (konjungsi) dan tanda titik koma (;) yang menunjukkan hubungan "or" (disjungsi).

contoh: 
                      orangtua(P,Q) :- bapak(P,Q); ibu(P,Q).
                      kakek(A,Z) :- bapak(A,X), orangtua(X,Z).

D. Pertanyaan (Query)

Setelah anda memberikan data-data berupa fakta dan aturan, anda dapat mengajukan pertanyaan berdasarkan fakta dan aturan yang ada. 

Penulisannya diawali simbol “?-“ dan diakhiri tanda “.”.

Misalkan:

fact: 

suka(adi,mangga)      ---------------------- Adi suka mangga

query:

?-suka(adi,mangga)   ---------------------- apakah adi suka mangga?

maka jawaban prolog : yes (sesuai fakta)

?-suka(adi,jeruk)       ---------------------- apakah adi suka jeruk?

maka jawaban prolog : no (tidak sesuai fakta)

?-suka(Siapa,mangga) --------------------- siapa yang suka mangga?

maka jawaban prolog : adi

?-suka(adi,Apa)        ---------------------- Adi suka apa?
maka jawaban prolog : mangga


Referensi:
http://farhan-hariri88.blogspot.com
http://alumnixaverius1jambi.web.id/
http://ramotanbuegil.blogspot.com