LOGIC PROGRAMMING (BAHASA PEMROGRAMAN LOGIKA)

LOGIC PROGRAMMING (BAHASA PEMROGRAMAN LOGIKA)

ALGORITMA DAN PEMROGRAMAN 1 C HENNY MEDYAWATI

Sumber: Papadopoulos, Harris. ACSC300: Logic Programming, lecture 1: Introduction to Logic Programming and Prolog

LOGIC PROGRAMMING • PROBLEM SOLVING = PROBLEM DESCRIPTION + LOGICAL DEDUCTIONS Bagaimana kita dapat memiliki kemampuan membuat logika deduksi? Idealnya, kita memberitahukan kepada komputer ‘apa’ yang kita ingin kerjakan, bukan ‘bagaimana’ cara mengerjakannya

Bahasa Pemrograman Imperative vs Deklarative • Pada bahasa pemrograman imperative, contohnya Java, Pascal, C++), kita memberitahu komputer ‘bagaimana/how’ cara menyelesaikan masalah, misalnya cetak A, kalikan A dan B…dsb • Pada bahasa pemrograman deklarative (contohnya Prolog), kita mendeklarasikan ‘apa/what’ permasalahannya dan komputer yang akan memecahkan masalah nya

Pengenalan Prolog • Prolog adalah bahasa pemrograman pertama yang murni menggunakan bahasa pemrograman deklarative • Prolog kependekan dari ‘Programmation en Logique’ • Pertama kali diperkenalkan tahun 1970 oleh Robert Kowalski dan Maarten van Emden, Alain Colmerauer , selanjutnya diimplementasikan oleh David Warren

Pengenalan Prolog • Pada saat kita menuliskan program dalam bahasa prolog, artinya kita menuliskan pengetahuan kita mengenai suatu masalah, kita membuat model dari suatu masalah • Prolog secara luas dipergunakan untuk pemodelan sistem (contoh prototipe perangkat lunak, desain sirkuit) dan untuk banyak aplikasi intelegensi buatan seperti Expert System dan Natural Language Processing

Konsep Prolog • Program Prolog terdiri dari sekumpulan clauses • Setiap clause dapat berupa fakta atau aturan (fact or rule) • Contoh clauses : Facts : male(philip). female(anne). parent(philip,anne). Rules : father(X,Y) : - parent(X,Y), male(X). ancestor(X,Y) :- parent(X,Y). ancestor(X,Y) :- ancestor(X,Z), parent(Z,Y).

Terms (Terminologi/Istilah) • Sebuah terms mewakili suatu objek atau kelas dari objek yang akan dibahas

• Objek dapat berupa : - konstanta, yang dapat berupa : angka : 37, 12.4, -5 string : ‘helo world’, ‘Pete’ atom : philip, monkey - variabel : X, Person - compound term : tanggal (May, 1, 2004)

Facts (Fakta) • Fakta mewakili satu unit informasi yang diasumsikan bernilai benar • Kadangkala suatu fakta terdiri dari beberapa istilah atau merupakan suatu daftar istilah male(philip). parent(philip,anne).

Rules (Aturan-aturan) • Suatu aturan mewakili beragam kondisi (‘this is true if this is true’) need_umbrella :- its_raining. father(X,Y) :- parent(X,Y), male(X). IF

AND

• Secara umum aturan adalah suatu ekspresi dengan bentuk : A :- B1, B2,…,Bn dimana A dan B1, B2, …Bn adalah formula atomik A adalah head (kepala) dari aturan B1, B2, …., Bn adalah body (tubuh) dari aturan Variabel : Penulisannya dengan huruf besar atau underscores (contoh : X, TimeTable, _24) Semua yang dimulai dengan huruf besar pada prolog adalah variabel (kecuali dalam tanda petik “)

• Suatu clause merupakan statemen prolog, contohnya fakta atau aturan (fact or rule)

• Semua clause pada prolog harus diakhiri dengan tanda titik (dot) • Penggunaan program prolog dilakukan melalui query contoh : ? –parent(philip, anne). ? –border(wales,scotland). Interpreter pada Prolog akan merespon : Yes or No Semua query harus diakhiri tanda titik (dot)

Query • Query dapat terdiri dari variabel-variabel : ?- parent(philip, who). interpreter prolog akan memberikan respon melalui nilai2 yang terdapat pada variabel sehingga query akan menjadi benar (jika ada), kalau tidak ada jawaban yang benar, maka akan direspon dengan no