Apa itu pemrograman logis?

Pemrograman logis adalah jenis pemrograman komputer di mana programmer harus memberikan instruksi komputer tentang cara membuat keputusan menggunakan logika matematika, seperti penggunaan algoritma matematika.Program komputer terdiri dari kode yang memberi tahu komputer apa yang harus dilakukan.Namun, akhirnya, komputer akan mengalami contoh di mana ia harus membuat keputusan tentang cara melanjutkan dan tanpa informasi tentang bagaimana melakukan ini, ia tidak dapat menyelesaikan fungsi saat ini.Pemrograman logika berkaitan dengan jenis keputusan ini dan memberikan instruksi kepada komputer sehingga dapat membuat keputusan logis tentang cara terbaik untuk menanggapi situasi tertentu.Agar pemrograman logika berfungsi, programmer yang menulis kode perlu memastikan pernyataannya masuk akal dan benar, dengan demikian logis, dan program komputer yang dikenal sebagai pendamping teorema diperlukan untuk membuat keputusan berdasarkan pernyataan yang ditemui dalam programmerKode.

Sebuah pendorong teorema mengacu pada program komputer yang telah dirancang untuk menyelesaikan pernyataan matematika yang dikenal sebagai teorema.Teorema adalah pernyataan yang terbukti benar berdasarkan pernyataan sebelumnya.Dalam pemrograman logis, pendamping teorema bekerja bersama dengan pernyataan yang dibuat oleh programmer komputer untuk mencapai kesimpulan.Misalnya, jika kode menyatakan bahwa A sama dengan B dan B sama dengan C, pendamping teorema akan membuat kesimpulan logis bahwa A harus sama dengan C. Proses ini berbeda dari programmer yang hanya memberi tahu komputer di dalamKode bahwa A sama dengan C karena program komputer harus menarik kesimpulan ini dengan menggunakan pendamping teorema dan pernyataan asli programmer dalam kode.

Secara teori, agar pemrograman logis berfungsi, programmer hanya perlu memastikan bahwa pernyataannya adalahBenar dan pencipta pendamping teorema harus memastikan bahwa program dapat membaca pernyataan dan membuat keputusan yang paling efisien berdasarkan mereka.Kemampuan untuk membuat keputusan yang efisien disebut sebagai komputer yang berfungsi secara logis.Pada kenyataannya, dua bidang pekerjaan tumpang tindih, dan mereka yang melakukan pemrograman logis sering harus mengubah dan memanipulasi kode berdasarkan pada cara kerja pendamping teorema untuk mencapai hasil yang mereka inginkan.Cukup memasukkan pernyataan yang akurat tentang bagaimana membuat keputusan tertentu mungkin tidak cukup untuk mendapatkan komputer untuk melakukan fungsi yang benar, dan programmer harus menguji kodenya dan melakukan penyesuaian yang sesuai.

Agar pemrograman logis berfungsi, itu jugabergantung pada penalaran mundur.Dalam penalaran mundur, program ini sampai pada kesimpulan dengan melihat serangkaian data dan bekerja dari pernyataan umum yang diketahui untuk mencapai kesimpulan yang lebih maju.Program ini mungkin tahu bahwa dua informasi adalah 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 diberikan.Karena cara kerjanya, pemrograman logis dibangun di atas bahasa representasi deklaratif, yang berarti program memberi tahu komputer apa yang harus dilakukannya, tetapi menyerahkannya pada pendorong teorema untuk menentukan cara yang paling logis atau efisien untuk melakukan prosedur yang diminta.