Part 4 prolog [compatibility mode]
-
Upload
heny-pratiwi -
Category
Technology
-
view
328 -
download
3
description
Transcript of Part 4 prolog [compatibility mode]
Heny Pratiwi, S.Kom., M.PdP R O L O G
Teknik Informatika Semester 5
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
Heny Pratiwi, S.Kom., M.PdP R O L O G
Teknik Informatika Semester 5
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.
Heny Pratiwi, S.Kom., M.PdP R O L O G
Teknik Informatika Semester 5
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.
Heny Pratiwi, S.Kom., M.PdP R O L O G
Teknik Informatika Semester 5
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)
Heny Pratiwi, S.Kom., M.PdP R O L O G
Teknik Informatika Semester 5
Heny Pratiwi, S.Kom., M.PdP R O L O G
Teknik Informatika Semester 5
Latihan
Buat Dua Program tentang Unifikasi
Heny Pratiwi, S.Kom., M.PdP R O L O G
Teknik Informatika Semester 5