a.
FACT ( Fakta ) adalah ekspresi predikat yang membuat pernyataan deklaratif tentang masalah domain. Setiap kali variabel terjadi dalam ekspresi Prolog, hal ini diasumsikan secara universal dikuantifikasi. Perhatikan bahwa semua kalimat Prolog harus diakhiri dengan periode.
suka (john, Susi). / * John suka * Susi /
suka (X, Susi). / Setiap orang * suka * Susi /
suka (john, Y). / * John suka * semua orang /
suka (john, Y), suka (Y, john). / * John menyukai semua orang dan semua orang suka * John /
suka (john, Susie); suka (john, mary). / * Yohanes suka Susi atau John menyukai * Maria /
tidak (suka (john, pizza)). / * Yohanes tidak suka * pizza /
suka (john, Susie): - suka (john, mary) / * Yohanes menyukai Susi jika John menyukai Mary..
b.
Rule ( Aturan ) adalah ekspresi predikat yang menggunakan implikasi logis (:-) untuk menggambarkan hubungan antara fakta. Jadi aturan Prolog mengambil bentuk
left_hand_side: - right_hand_side.
Kalimat ini diartikan sebagai: left_hand_side jika right_hand_side. left_hand_side Hal ini dibatasi untuk satu, positif, literal, yang berarti harus terdiri dari sebuah ekspresi atom positif. Hal ini tidak dapat ditiadakan dan tidak dapat berisi connectives logis.
Notasi ini dikenal sebagai klausa Horn. Dalam logika klausa Horn, sisi kiri klausa adalah kesimpulan, dan harus satu positif literal. Sisi kanan berisi tempat. Kalkulus klausa Tanduk setara dengan kalkulus predikat orde pertama.
Contoh aturan yang berlaku:
teman (X, Y): - suka (X, Y), suka (Y, X). / * X dan Y adalah teman-teman jika mereka saling menyukai * lain /
membenci (X, Y): - tidak (suka (X, Y)). / * X membenci Y jika X tidak suka * Y. /
musuh (X, Y): - tidak (suka (X, Y)), tidak (suka (Y, X)). / * X dan Y adalah musuh jika mereka tidak saling menyukai * lain /
Contoh aturan tidak valid:
left_of (X, Y): - right_of (Y, X) / * Kehilangan * periode /
suka (X, Y), suka (Y, X): - teman (X, Y). / LHS * bukan * literal tunggal /
tidak (suka (X, Y)): - membenci (X, Y). / LHS * tidak dapat menegasikan * /
c.
Query adalah permintaan yang di berikan user untuk mengambil informasi yang tersimpan dalam database .
Contoh :
• Tmpilkan data pegawai yang tinggal di kota Surabaya
• Tampilkan harga barang yang besarnya kurang dari 10.000
• Tampilkan data dosen perempuan yang bekerja di jurusan Teknologi Informasi
Perintah yang menampilkan nomer pelanggan dan nama pelanggan :
Perintah SQL :
SELECT Nomer plg. Nama plg
FROM PELANGGAN;
d.
Variabel adalah Perintah ditandai dengan string yang terdiri dari huruf, angka dan garis bawah karakter, dan dimulai dengan surat atas kasus. Dalam lingkungan Prolog, variabel bukanlah sebuah wadah, yang dapat ditugaskan untuk (tidak seperti bahasa pemrograman prosedural). perilaku adalah dekat dengan pola, yang semakin ditentukan oleh unifikasi
e.
Costants : Perintah terdiri dari satu atau lebih karakter huruf kecil, dimulai dengan surat. Sebuah konstan tidak terdiri dari simbol Prolog lain (atom itu) dan itu tidak mewakili apa pun di dunia Prolog kecuali sendirild. Cara yang baik untuk berpikir atom adalah sebagai objek dari dunia Prolog.. Mereka tidak memiliki makna yang menyertainya.
