Part 4 prolog [compatibility mode]

Heny Pratiwi, S.Kom., M.PdP R O L O G

Teknik Informatika Semester 5

Membuat suatu aplikasi menggunakan bahasa pemrograman Prolog

Menjelaskan Unifikasi Pada Program Prolog

U N I F I K A S I

Unifikasi adalah suatu proses pemadanan atau pembandingan untuk mencari jawaban

seperti nilai suatu variabel. Melalui unifikasi suatu variabel diberi nilai.

Beberapa Hal Tentang Unifikasi

1. Unifikasi terjadi pada sesama argumen yang posisinya sama.

2. Nama dan aritas predikat harus sama3. Unifikasi terjadi bersamaan pada semua argumen.4. Hasil unifikasi tidak boleh mengakibatkan variabel

mempunyai nilai ganda atau bertentangan.5. Domain objek majemuk dapat berunifikasi dengan

variabel biasa seperti s(A) dengan C.6. Argumen objek majemuk dapat berunifikasi dengan

variabel biasa seperti s(x) dengan s( C ).7. Bisa terjadi unifikasi dengan aturan.

Contoh Program Unifikasidomains

jenis,pabrik =symbolpenumpang=integer

predicatespembuat(pabrik,jenis)mobil(jenis,penumpang)mobil_kecil(jenis)

clausespembuat(toyota,hilux).pembuat(daihatsu,xenia).pembuat(honda,crv).mobil(hilux,3).mobil(crv,8).mobil_kecil(Jenis):-

pembuat(_,Jenis),mobil(Jenis,JmlPen),JmlPen<5.

Goal : mobil_kecil(Jenis)

Latihan

Buat Dua Program tentang Unifikasi

Technology