JENIS KALIMAT PADA PROLOG 1. FAKTA - Berbentuk proposisi : PI(t1,…, t2) dimana : - ti adalah term, jenis konstanta dan variabel, n≥0 - P adalah predikat - Kuantifier - For some, contoh suka(ali, kue) - For all, contoh suka(ali, _)
JENIS KALIMAT PADA PROLOG 2. ATURAN - Berbentuk kalimat : if A then B yang ditulis B :- A. dimana : - A, B kalimat berupa proposisi - Penghubung lojik : implikasi, dalam bentuk klausa “Horn Clause”, atau (not A) or B Kuantifier : FOR ALL Perluasannya : if (A1 and A2 and … and An) then B ditulis menjadi B :- A1 , A2 , …, An (if A1 then B) or (if A2 then B) ditulis menjadi B :- A1. B :- A2.
JENIS KALIMAT PADA PROLOG 2. QUERY Berbentuk kalimat (CNF) : A1, A2, …, An dari A1 and A2 and … and An dimana Ai adalah kalimat berupa proposisi n≥1 Penghubung Lojik : AND Kuantifier : FOR SOME
CONTOH 1 lelaki(ali). lelaki(anto). ayah(anto,ali). anaklelaki(X,Y) :- ayah(Y,X), lelaki(X). ?-anaklelaki(ali,X) X = anto no yes
CONTOH 2 Diketahui Silsilah Keluarga seperti pada gambar : Buatlah FAKTA untuk : AYAH IBU Buatlah RULE untuk : KAKEK NENEK
CONTOH 3 Buatlah RULE untuk : KAKEK NENEK SAUDARA_KANDUNG MERTUA SEPUPU SAUDARA_IPAR Buatlah FAKTA untuk : AYAH IBU SUAMI ISTRI
CONTOH 5 Cellar Isi : washing machine (uniform) Kitchen Isi : Apple Brocoli Crackers Office Isi : Desk (flashlight) computer Dining Room Hall Buatlah FAKTA untuk : ROOM DOOR LOCATION EDIBLE TASTES_YUCKY Buatlah RULE untuk : WHERE_FOOD (lokasi makanan)