Bahasa Pemrograman Logic – Tinjauan Sekilas

Sama halnya dengan functional programming, logic programming merupakan alternatif/pendekatan lain dari metode pemrograman. Programs di dalam logic languages dituliskan dalam bentuk symbolic logic, dan menggunakan metode logical inferencing untuk memberikan suatu hasil. Logic programming bersifat declarative, konstras dengan procedural . Dengan kata lain, program fokus pada menyatakan spesifikasi dari yang akan dihasilkan, bukan langkah langkah detil untuk mencapai hasil. Pemrograman yang menggunakan suatu bentuk symbolic logic sebagai bahasa untuk memprogram biasa disebut logic programming, dan bahasa yang didasarkan pada symbolic logic biasa disebut logic programming languages atau declarative languages. Salah satu bahasa tersebut adalah Prolog. Symbolic logic yang digunakan di dalam Logic Programming dinamakan first order predicate calculus, atau ringkasnya predicate calculus. Berikut ini adalah beberapa terminologi yang 

digunakan di dalam predicate calculus.