Unfikasi, Runut Balik, Trace, Masukan dan Keluaran

Presentasi berjudul: "Unfikasi, Runut Balik, Trace, Masukan dan Keluaran"— Transcript presentasi:

1 Unfikasi, Runut Balik, Trace, Masukan dan Keluaran

2 Unifikasi Unifikasi adalah proses yang dilakukan oleh Prolog untuk mencari padanan antara pernyataan yang terdapat pada aturan dengan fakta atau kepala aturan yang lain

3 Syarat terjadinya unifikasi
Mempunyai relasi yang sama Mempunyai jumlah argumen yang sama dan posisi argumen yang sama Argumen yang berpadanan harus mempunyai jenis data yang sama Semua pasangan argumen(pada data majemuk) harus berpadanan

4 Runut Balik Dalam mencari jawaban suatu persoalan,seringkali kita tidak menemukan jawaban yang diinginkan, tentu kita akan berusaha untuk mencoba kemungkinan jawaban lain dengan kembali ke awal dan mengikuti kembali prosedur yang sama dengan sebelumnya

5 Contoh program trace DOMAINS orang,kue,rasa = symbol PREDICATES kue(kue) rasa(kue,rasa) suka(orang,kue) CLAUSES kue(martabak). kue(bolu). rasa(martabak,gurih). rasa(bolu,manis). suka(andi,Kue) :- kue(Kue), rasa(Kue,manis).

6 Predikat Keluaran Write Writef
write(E1,E2,E3,...,En) -> E1,E2,E3,En Konstanta (Karakter atau string) Writef writef(format,E1,E2,E3,...,En) format %-m.pf - Menghasilkan tulisan rata kiri m menunjukkan lebar tulisan minimum p menunjukkan jumlah angka desimal minimum f format lain yang diinginkan

7 Macam macam format f f format bilangan real
e format bilangan real dalam notasi eksponensial g bilangan real dalam bentuk sederhana d bilangan bulat u format karakter atau bilangan bulat dalam bentuk positif x bilangan bulat dalam bentuk heksadesimal c format karakter atau bilangan bulat sebagai karakter s format string

8 Writedevice writedevice(varPiranti) screen menuliskan ke monitor
printer menuliskan ke printer coml menuliskan ke port komunikasi serial stdout menuliskan ke DOS standar output stderr menuliskan ke DOS standar error NamaFile menuliskan ke file

9 Predikat Masukkan Readln Readchar Readint Readreal readln(VarString)
readchar(varChar) Readint readint(VarInt) Readreal readreal(VarReal)

10 Readdevice readdevice(VarDev) keyboard membaca dari keyboard
coml membaca dari port komunikasi serial stdin membaca dari DOS standard input NamaFile membaca dari file