Memahami Pemrograman Logika

Pemrograman logika kurang dikenal dibandingkan paradigma pemrograman lain seperti prosedural, berorientasi objek, dan fungsional.

Pemrograman logika menggunakan relasi atau predikat daripada fungsi seperti dalam paradigma pemrograman lainnya.

Contoh bahasa pemrograman logika yang terkenal adalah Prolog, yang mendefinisikan fakta dan aturan dengan menggunakan predikat.

Datalog merupakan subset dari Prolog yang tidak komplit Turing, namun sangat efisien dalam memodelkan hubungan dan dapat digunakan sebagai alternatif SQL dalam basis data.