Prolog memiliki beberapa istilah yang disebut clause, fact, rules, predicate, dan variable. Semua bagian itu sangat penting dalam menjalankan program Prolog. Karena semuanya memiliki fungsi masing-masing yang tentunya sangat berguna untuk Logic Programming. Berikut ini akan dijelaskan satu persatu.
Fact and Rule (Fakta dan Aturan)
Program Prolog adalah program yang menggambarkan hubungan. Biasanya, hubungan-hubungan itu didefinisikan dengan menggunakan clause. Ada dua jenis klausa: Fakta dan aturan. Sebuah aturan adalah dalam bentuk
Head : - Body.
dan dibaca sebagai “Head is true if the body is true".
dan dibaca sebagai “Head is true if the body is true".
Clauses dengan tubuh kosong disebut fakta. Sebuah contoh fakta adalah:
sapi (randy).
yang setara dengan aturan:
sapi(randy): - true.
Jika predikat benar/0 adalah selalu benar.
Mengingat fakta di atas, kita dapat bertanya:
apakah randy sapi?
? - sapi (randy).
Yes.
