Pemrograman logis adalah jenis pemrograman komputer di mana programmer harus memberikan instruksi komputer tentang bagaimana membuat keputusan menggunakan logika matematika, seperti penggunaan algoritma matematika. Program komputer terdiri dari kode yang memberitahu komputer apa yang harus dilakukan. Namun, pada akhirnya, komputer akan mengalami kejadian di mana ia harus membuat keputusan tentang bagaimana melanjutkan dan tanpa informasi tentang bagaimana melakukan ini, ia tidak dapat menyelesaikan fungsinya saat ini. Pemrograman logika berurusan dengan jenis keputusan ini dan memberikan instruksi ke komputer sehingga komputer dapat membuat keputusan “logis” tentang cara terbaik untuk merespons situasi tertentu. Agar pemrograman logika berfungsi, pemrogram yang menulis kode perlu memastikan pernyataannya masuk akal dan benar, dengan demikian logis, dan program komputer yang dikenal sebagai pembukti teorema diperlukan untuk membuat keputusan berdasarkan pernyataan yang ditemuinya di programer. kode.
Pembukti teorema mengacu pada program komputer yang telah dirancang untuk memecahkan pernyataan matematika yang dikenal sebagai teorema. Teorema adalah pernyataan yang terbukti benar berdasarkan pernyataan sebelumnya. Dalam pemrograman logis, pembukti teorema bekerja sama dengan pernyataan yang dibuat oleh pemrogram komputer untuk mencapai kesimpulan. Sebagai contoh, jika kode menyatakan bahwa A sama dengan B dan B sama dengan C, maka ahli teorema akan membuat kesimpulan logis bahwa A harus sama dengan C. Proses ini berbeda dengan programmer hanya memberitahu komputer di kode bahwa A sama dengan C karena program komputer harus menarik kesimpulan ini menggunakan pembuktian teorema dan pernyataan asli programmer dalam kode.
Secara teori, agar pemrograman logis berfungsi, pemrogram hanya perlu memastikan bahwa pernyataannya benar dan pembuat teorema-pembukti harus memastikan bahwa program dapat membaca pernyataan dan membuat keputusan paling efisien berdasarkan pernyataan tersebut. Kemampuan untuk membuat keputusan yang efisien disebut sebagai komputer yang berfungsi “secara logis.” Pada kenyataannya, kedua bidang pekerjaan itu tumpang tindih, dan mereka yang melakukan pemrograman logis sering kali harus mengubah dan memanipulasi kode berdasarkan cara kerja pembuktian teorema untuk mencapai hasil yang mereka inginkan. Menyebutkan pernyataan yang akurat tentang bagaimana membuat keputusan tertentu mungkin tidak cukup untuk membuat komputer melakukan fungsi yang benar, dan programmer harus menguji kodenya dan membuat penyesuaian yang sesuai.
Agar pemrograman logis berfungsi, itu juga bergantung pada penalaran mundur. Dalam penalaran mundur, program sampai pada kesimpulan dengan melihat sekumpulan data dan bekerja dari pernyataan umum yang diketahui untuk mencapai kesimpulan yang lebih maju. Program mungkin mengetahui bahwa dua informasi benar, dan akan menyimpulkan bahwa karena kedua informasi itu benar, itu berarti informasi ketiga juga benar. Ini melanjutkan proses ini sampai mencapai kesimpulan logis berdasarkan informasi yang diberikannya. Karena cara kerjanya, pemrograman logis dibangun di atas bahasa representasi deklaratif, yang berarti program memberi tahu komputer apa yang harus dilakukan, tetapi menyerahkannya kepada pembuktian teorema untuk menentukan cara paling logis atau efisien untuk melakukan prosedur yang diminta.