Pemrograman Logic

Logika pemrograman, dalam arti luas, penggunaan logika matematika untuk pemrograman komputer. Dalam pandangan pemrograman logika, yang dapat ditelusuri setidaknya sejauh [1958] proposal saran-taker John McCarthy, logika digunakan sebagai bahasa representasi murni deklaratif, dan teorema-prover atau model-generator digunakan sebagai pemecah masalah. Tugas pemecahan masalah dibagi antara programmer, yang bertanggung jawab hanya untuk memastikan kebenaran program dinyatakan dalam bentuk logis, dan teorema-prover atau model-generator, yang bertanggung jawab untuk memecahkan masalah efisien.

Namun, logika pemrograman, dalam arti sempit yang lebih umum dipahami, adalah penggunaan logika baik sebagai bahasa representasi deklaratif dan prosedural.

sumber : http://banuaw.wordpress.com/2011/03/22/pemrograman-logika-logic-programming/