Matakuliah ini mempelajari pemrograman yang berbasiskan sekumpulan fakta-fakta dan aturan. Pencarian solusi dilakukan melalui pernyataan goal. Bahasa yang digunakan adalah Bahasa Prolog