Back برمجة منطقية Arabic Логическо програмиране Bulgarian যুক্তিভিত্তিক প্রোগ্রামিং Bengali/Bangla Logičko programiranje BS Programació lògica Catalan Logické programování Czech Logische Programmierung German Logic programming English Programación lógica Spanish Loogiline programmeerimine ET
Logikala programigado esas paradigmo di komputerala programigado qua uzas matematikala logiko. Irga komputeral algoritmo skribita en ula programifo-linguo esas kolektajo di instrukti ed informi skribita en logikala formo, expresanta fakti e reguli pri la fako di ula problemo.
- fakti + reguli = rezulti
Exemplo pri programifo-linguo qua uzas logikala programigado esas Prolog, developita en 1972, qua asociesas kun artifical inteligenteso, e Datalog. Prolog originis de la programifo-linguo Planner, qua aparis en 1969 ed esis l'unesma qua uzis logikala programigado.
Ula importanta konceptajo en logikala programigado esas deskompozar la programi en sua logikala kompozanti, ed en sua kontrolala kompozanti.