Unfikasi, Runut Balik, Trace, Masukan dan Keluaran
Unifikasi Unifikasi adalah proses yang dilakukan oleh Prolog untuk mencari padanan antara pernyataan yang terdapat pada aturan dengan fakta atau kepala aturan yang lain
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
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
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).
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
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
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
Predikat Masukkan Readln Readchar Readint Readreal readln(VarString) readchar(varChar) Readint readint(VarInt) Readreal readreal(VarReal)
Readdevice readdevice(VarDev) keyboard membaca dari keyboard coml membaca dari port komunikasi serial stdin membaca dari DOS standard input NamaFile membaca dari file