Daftar Isi:
Definisi - Apa yang dimaksud dengan Prolog?
Programmation en Logique (Programming in Logic) atau Prolog adalah bahasa pemrograman tingkat tinggi yang berakar pada logika tingkat pertama atau kalkulus predikat tingkat pertama. Bahasa ini dikandung di Marseilles, Prancis pada awal 1970-an oleh kelompok yang dipimpin oleh Alain Colmerauer. Ini adalah salah satu bahasa pemrograman logika pertama dan tetap populer saat ini. Ini adalah bahasa pemrograman yang umumnya dikaitkan dengan linguistik komputasi dan kecerdasan buatan dan digunakan dalam sistem pakar, pembuktian teorema dan pencocokan pola pada pohon parse bahasa alami dan pemrosesan bahasa alami.
Techopedia menjelaskan Prolog
Sistem Prolog pertama dikembangkan pada tahun 1972 oleh Colmerauer bersama dengan Philippe Roussel dan didasarkan pada interpretasi prosedural Robert Kowalski tentang klausa Horn. Itu juga sebagian dimotivasi oleh keinginan untuk mendamaikan penggunaan logika sebagai bahasa representasi pengetahuan deklaratif dengan representasi prosedural pengetahuan. Prolog sengaja dikembangkan untuk pemrosesan bahasa alami - yang berkaitan dengan komputer dan interaksi bahasa manusia (alami).
Prolog berbeda dari bahasa pemrograman lain karena bersifat deklaratif daripada urutan perintah. Kadang-kadang disebut bahasa berbasis aturan atau deklaratif karena diekspresikan dalam hubungan antara sifat-sifat objek, disajikan sebagai fakta dan aturan. Perhitungan dimulai dengan menjalankan kueri atas relasi ini.
Aplikasi meliputi:
- Pembelajaran mesin
- Perencanaan robot
- Penalaran otomatis
- Penyelesaian masalah
- Pengambilan basis data yang cerdas
- Pemahaman bahasa alami
- Bahasa spesifikasi
