Jabarkan Logika dari Algoritma dalam bahasa melayu

Sebuah algoritma boleh dilihat sebagai logika deduksi terkontrol. Pernyataan ini diekspresikan sebagai: algoritma = logika + kawalan. Komponen logika mengekspresikan aksioma yang boleh digunakan dalam komputasi dan komponen kawalan menentukan cara deduksi digunakan pada aksioma. Ini merupakan dasar dari paradigma pemrograman logika. Dalam bahasa pengaturcaraan logika tulenm komponen kawalan adalah tetap dan algoritma ditentukan dengan memberikan hanya komponen logikanya. Daya tarik dari pendekatan ini adalah semantik elegan: sebuah perubahan dalam aksioma memiliki perubahan dalam algoritma.