Ano ang lohikal na programming?

Ang lohikal na programming ay isang uri ng computer programming kung saan dapat ibigay ng programmer ang mga tagubilin sa computer kung paano gumawa ng mga pagpapasya gamit ang matematika na lohika, tulad ng paggamit ng isang algorithm ng matematika.Ang mga programa sa computer ay binubuo ng code na nagsasabi sa computer kung ano ang gagawin.Sa kalaunan, gayunpaman, ang computer ay tatakbo sa isang pagkakataon kung saan dapat itong gumawa ng isang desisyon kung paano magpatuloy at walang impormasyon sa kung paano ito gagawin, hindi nito makumpleto ang kasalukuyang pag -andar nito.Ang logic programming ay tumatalakay sa mga ganitong uri ng mga pagpapasya at nagbibigay ng mga tagubilin sa computer upang makagawa ito ng isang lohikal na desisyon tungkol sa kung paano pinakamahusay na tumugon sa isang tiyak na sitwasyon.Para sa logic programming upang gumana, ang programmer na pagsulat ng code ay kailangang matiyak na magkaroon ng kahulugan ang kanyang mga pahayag at totoo, sa gayon ay lohikal, at ang isang programa sa computer na kilala bilang isang teorem-prover ay kinakailangan upang gumawa ng mga pagpapasya batay sa mga pahayag na nakatagpo nito sa mga programmerCode.Ang mga teorema ay mga pahayag na ipinapakita na totoo batay sa mga nakaraang pahayag.Sa lohikal na programming, ang Theorem-Prover ay gumagana kasama ang mga pahayag na nilikha ng programmer ng computer upang maabot ang mga konklusyon.Halimbawa, kung ang code ay nagsasaad na ang A ay katumbas ng B at B ay katumbas ng C, ang Theorem-prover ay gagawa ng lohikal na konklusyon na ang A ay dapat na katumbas ng C. Ang prosesong ito ay naiiba kaysa sa programmer na nagsasabi lamang sa computer saCode na ang A ay katumbas ng C dahil ang programa ng computer ay dapat gumuhit ng konklusyon na ito gamit ang Theorem-prover at ang mga programmers na orihinal na pahayag sa Code.Tama at ang tagalikha ng Theorem-Prover ay dapat tiyakin na ang programa ay maaaring basahin ang mga pahayag at gawin ang mga pinaka mahusay na desisyon batay sa kanila.Ang kakayahang gumawa ng isang mahusay na desisyon ay tinutukoy bilang isang computer na gumagana nang lohikal.Sa katotohanan, ang dalawang larangan ng trabaho ay magkakapatong, at ang mga nagsasagawa ng lohikal na programming ay madalas na magbabago at manipulahin ang code batay sa kung paano gumagana ang teorem-prover upang makamit ang mga resulta na nais nila.Ang paglalagay lamang ng tumpak na mga pahayag tungkol sa kung paano gumawa ng isang tiyak na desisyon ay maaaring hindi sapat upang makuha ang computer upang maisagawa ang tamang pag -andar, at ang programmer ay kailangang subukan ang kanyang code at gumawa ng mga pagsasaayos nang naaayon.

para sa lohikal na programming upang gumana, ito rinumaasa sa paatras na pangangatuwiran.Sa paatras na pangangatuwiran, ang programa ay dumating sa mga konklusyon sa pamamagitan ng pagtingin sa isang hanay ng data at nagtatrabaho mula sa pangkalahatang kilalang mga pahayag upang maabot ang mas advanced na mga konklusyon.Maaaring malaman ng programa na ang dalawang piraso ng impormasyon ay totoo, at mas mababa ito na dahil ang dalawang piraso ng impormasyon ay totoo, nangangahulugan ito na ang isang ikatlong piraso ng impormasyon ay totoo rin.Ipinagpapatuloy nito ang prosesong ito hanggang sa maabot ang isang lohikal na konklusyon batay sa impormasyong ibinigay nito.Dahil sa paraan na ito ay gumagana, ang lohikal na programming ay itinayo sa wika ng representasyon, nangangahulugang ang programa ay nagsasabi sa computer kung ano ang dapat gawin, ngunit iniwan ito sa Theorem-Prover upang matukoy ang pinaka-lohikal o mahusay na paraan upang maisagawa ang hiniling na pamamaraan.