Mengenal Pemrograman Logika dan Semantik Menggunakan
Prolog
Artikel asli: 17 Maret 2021 | Pembaruan materi: 22
Oktober 2026
Apa Itu Pemrograman Logika?
Pemrograman logika merupakan paradigma pemrograman yang
menggunakan fakta, aturan, dan penalaran untuk menyelesaikan suatu persoalan.
Salah satu bahasa yang dikenal dalam paradigma ini adalah Prolog,
singkatan dari Programming in Logic.
Berbeda dengan pemrograman prosedural yang menekankan urutan
instruksi, Prolog memungkinkan programmer mendefinisikan hubungan antarobjek
dan aturan yang digunakan untuk memperoleh suatu kesimpulan.
Pendekatan ini memiliki hubungan dengan bidang kecerdasan
buatan, khususnya representasi pengetahuan dan penalaran simbolik.
Konsep Dasar Prolog
Terdapat tiga konsep dasar yang perlu dipahami ketika
mempelajari Prolog.
1. Fakta (Facts)
Fakta merupakan pernyataan mengenai suatu kondisi atau
hubungan yang dianggap benar dalam basis pengetahuan program.
Contohnya:
mahasiswa(andi).
mahasiswa(budi).
dosen(rina).
Kode tersebut menyatakan bahwa Andi dan Budi merupakan
mahasiswa, sedangkan Rina adalah dosen.
2. Aturan (Rules)
Aturan digunakan untuk mendefinisikan hubungan atau
kesimpulan berdasarkan fakta maupun kondisi tertentu.
Contohnya:
anggota_akademik(X) :- mahasiswa(X).
anggota_akademik(X) :- dosen(X).
Artinya, seseorang dianggap sebagai anggota akademik jika ia
merupakan mahasiswa atau dosen berdasarkan fakta yang tersedia.
3. Query
Query digunakan untuk mengajukan pertanyaan kepada Prolog
berdasarkan fakta dan aturan yang telah didefinisikan.
Contohnya:
?- mahasiswa(andi).
Hasil yang diharapkan:
true.
Sementara itu:
?- mahasiswa(rina).
Menghasilkan:
false.
Hal ini karena mahasiswa(rina) tidak dapat dibuktikan
berdasarkan fakta dan aturan yang tersedia.
Contoh Penalaran Sederhana
Misalnya, kita ingin mengetahui siapa saja yang termasuk
anggota akademik.
Gunakan query:
?- anggota_akademik(X).
Prolog akan mencari nilai X yang memenuhi aturan tersebut.
Berdasarkan contoh fakta sebelumnya, solusi yang dapat
ditemukan adalah Andi, Budi, dan Rina.
Contoh ini menunjukkan bahwa Prolog dapat melakukan
penelusuran berdasarkan hubungan dan aturan yang didefinisikan.
Menggunakan SWI-Prolog
Untuk mempraktikkan contoh di atas, Anda dapat menggunakan SWI-Prolog,
salah satu implementasi Prolog yang tersedia secara gratis.
Tahapan dasar penggunaannya:
- Unduh
SWI-Prolog dari website resminya.
- Instal
sesuai sistem operasi.
- Buat
file teks bernama akademik.pl.
- Masukkan
fakta dan aturan dari contoh sebelumnya.
- Buka
file melalui SWI-Prolog atau muat menggunakan perintah:
?- consult('akademik.pl').
- Jalankan
query untuk memeriksa fakta dan aturan.
Untuk menampilkan alternatif jawaban, pengguna dapat
mengikuti petunjuk interaktif pada SWI-Prolog.
Hubungan Prolog dengan Kecerdasan Buatan
Prolog sering digunakan sebagai contoh pemrograman
deklaratif dan penalaran berbasis simbol.
Pada pendekatan ini, pengetahuan dinyatakan secara eksplisit
melalui hubungan dan aturan.
Pendekatan tersebut berbeda dari machine learning,
yang mempelajari pola dari data menggunakan proses pelatihan model.
Keduanya merupakan pendekatan yang berbeda dalam kecerdasan
buatan dan dapat dipelajari untuk memahami beragam cara komputer
merepresentasikan serta memproses pengetahuan.
Materi Tambahan
Untuk mempelajari Prolog lebih lanjut, tersedia dokumentasi
dan materi yang dapat digunakan sebagai bahan latihan.
- Website resmi SWI-Prolog
- Dokumentasi
SWI-Prolog
- Materi
kuliah Pemrograman Logik dan Semantik pada tautan unduhan artikel asli.
Materi kuliah yang diterbitkan sebelumnya tetap dapat
digunakan sebagai pendamping pembelajaran. Namun, pastikan petunjuk instalasi
sesuai dengan versi perangkat lunak yang digunakan.
Kesimpulan
Pemrograman logika menggunakan fakta, aturan, dan query
untuk melakukan penalaran terhadap hubungan yang telah didefinisikan.
Dengan mempelajari Prolog, mahasiswa dapat memahami salah
satu pendekatan dasar dalam representasi pengetahuan dan kecerdasan buatan.
Pemahaman ini juga dapat menjadi pelengkap ketika
mempelajari pendekatan kecerdasan buatan lainnya, termasuk machine learning.
Referensi
- SWI-Prolog.
Getting Started Quickly. https://www.swi-prolog.org/man/quickstart.html
- SWI-Prolog.
Documentation. https://www.swi-prolog.org/Documentation.html
Software SWI-Prolog download
Link Download Materi lain PLS klik disini
