Jabarkan Logika dan Kontrol dari Logika pemrograman

Pemrograman logika bisa dilihat sebagai deduksi terkontrol. Sebuah konsep penting dalam pemrograman logika adalah separasi dari program kepada komponen logika dan kontrolnya. Dengan bahasa pemrograman logika yang murni, komponen logika sendirik dapat menentukan solusi yang dihasilkan. Komponen kontrol bisa bervariasi untuk memberikan jalan alternatif dalam mengeksekusi logika program. Notasi ini diambil dengan slogan

Algoritma = Logika + Kontrol

Dimana "Logika" merepresentasikan program logis dan "Kontrol" merepresenasikan strategi pembuktian teorema yang berbeda.