Prolog adalah bahasa pemrograman logika. Prolog memiliki peran penting dalam bidang kecerdasan buatan. Tidak seperti banyak bahasa pemrograman lainnya, Prolog dimaksudkan terutama sebagai bahasa pemrograman deklaratif. Dalam prolog, logika dinyatakan sebagai hubungan (disebut sebagai Fakta dan Aturan). Inti dari prolog terletak pada logika yang diterapkan. Formulasi atau Komputasi dilakukan dengan menjalankan query atas relasi-relasi tersebut. Untuk dapat mengintal prolog dan memahami bahasa prolog dapat mendownload tutorial pada link berikut:
Software SWI-Prolog download
Link Download Materi PLS klik disini