ikp213-05-prolog

BAHASA PEMROGRAMAN

(IKP213)

Pertemuan 5: Prolog, 22 November 2011

Pemrograman Prolog

Pemrograman Prolog – IKP213

2

Pemrograman Deklaratif

Fakta

Aturan-aturan deduksi

First-Order Predicate Logic

Execution Engine

unification

resolution

Pemrograman Prolog


3

Konstanta, Entitas, Atom

rangkaian huruf lower case

pat, jim, bob, . .

Variabel

huruf UPPER CASE

X, Y, Z, . .

SWI-Prolog


4

http://www.swi-prolog.org/

Implementasi Prolog di Windows

Tuliskan fakta dan rules dalam berkas teks

Consult berkas teks dari IDE SWI-Prolog

File Consult

Tuliskan kueri / goals

Contoh Silsilah Keluarga


5

Fakta Silsilah Keluarga


6

parent(tom,bob).

parent(pam,bob).

parent(tom,liz).

parent(bob,ann).

parent(bob,pat).

parent(pat,jim).

Relasi dengan arity 2

parent/2

Kueri Prolog


7

parent(tom, X).

X = bob ;

X = liz ;

false.

Siapa yang memiliki tom sebagai orang tua?

parent(Y, ann).

Y = bob ;

false.

Siapa orang tua dari ann?

Kueri Prolog


8

parent(X, Y).

Menampilkan semua fakta

Cari semua X dan Y yang memenuhi relasi parent

Substitusi variabel dengan atom di dalam fakta

yang ada

Tidak ada atom yang dapat mensubstitusi: false

parent(badu, Y).

false.

Konjungsi Kueri


9

Siapa grandparent dari jim?

Siapa parent dari jim? Y

Siapa parent dari Y? X

X adalah grandparent dari jim

parent(Y, jim), parent(X, Y).

Cari seseorang, Y, yang menjadi parent dari jim

dan cari X yang menjadi orang tua dari Y

Fakta-fakta Baru


10

female(pam).

female(liz).

female(pat).

female(ann).

male(tom).

male(bob).

male(jim).

Relasi dengan arity 1

Rules


11

offspring(X, Y) :- parent(Y, X).

X adalah offspring dari Y, jika Y adalah parent

dari X

mother(X,Y) :- parent(X,Y),

female(X).

X adalah mother dari Y, jika X adalah parent dari

Y dan X adalah female

Unifikasi


12

parent(X, liz).

Periksa semua fakta yang diberikan

Untuk fakta yang sama, terapkan algoritma Unifikasi

Disagreement set

parent(X, liz) dengan parent(tom, bob).

disagreement set {X, tom}

fail

parent(X, liz) dengan parent(tom, liz).

disagreement set {X, tom}

success

Resolusi


13

offspring(X, liz)

Terapkan algoritma unifikasi untuk rule offspring(X, Y)

disagreement set {liz, Y}

resolusi / menggantikan Head Goal offspring(X, Y)

dengan sub-goal parent(Y, X)

unifikasi Y dengan liz pada sub-goal parent(Y, X)

Unifikasi sub-goal parent(liz, X)

Monkey and Banana Problem


14

States

Monkey at door

Monkey on floor

Box at window

Monkey does not have banana

Ultimate goal

state(X, Y, Z, has).



15

Allowable moves

grasp banana

climb box

push box

walk around

Prolog rule

move ( state(middle, onbox, middle, hasnot), grasp,

state(middle, onbox, middle, has) ).



16

canget(state(atdoor, onfloor, atwindow, hasnot) ).

Ringkasan


17

Deklarasi clauses berupa fakta dan rules

Fakta dinyatakan dengan relasi

Fakta memuat Atom

Rules memuat Variabel

Kueri (Goals) memuat Variabel atau Atom

Latihan


18

Siapa grandparent dari ann?

Siapa grandchild dari bob?

Tuliskan rule aunt(X, Y)

Tuliskan rule hastwochildren(X)

Tuliskan rule hasdaughter(X)

Tuliskan rule grandchildren(X, Y)

Pustaka

SWI-Prolog, http://www.swi-prolog.org/

GNU-Prolog

Ivan Bratko, "Prolog Programming for Artificial

Intelligence"

http://tjerdastangkas.blogspot.com/search/label/ikp213

19


AKHIR PERTEMUAN 4

Rabu, 19 Oktober 2011

ikp213-05-prolog

Technology

Transcript of ikp213-05-prolog