Logikala programigado

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.