Jabarkan manusia(sokrates). dari Logika pemrograman

bisa digunakan sebagai prosedur untuk menunjukkan bahwa sokrates adalah manusia, dan sebagai prosedur untuk mencari X adalah sebagai human dengan "memberikan" sokrates untuk X.

Pembacaan deklaratif untuk program logis bisa digunakan oleh programmer untuk memeriksa kebenarannya. Lebih lagi, berdasarkan logika program transformasi, teknik-tekniknya bisa dilakukan juga untuk mentransformasi program logika menjadi program ekuivalen secara logis yang sama-sama lebih efisien. Dalam keluarga bahasa pemrograman logika Prolog, seorang programmer bisa menggunakan perilaku penyelesaian masalah yang telah diketahui dari mekanisme eksekusi untuk meningkatkan efesiensi dari sebuah program.