Logika programeso

De Wikipedio
Salti al navigilo Irez a serchilo
Commons-emblem-trademark-issue.svgNuvola apps edu mathematics-p.svg
Ica artiklo bezonas revizo da ula persono qua konocas ambe Ido, ed ica temo ciencala, teknologiala, matematikala, filozofiala, sportala, edc.
Ka vu povas helpar ni revizar ol? Nuvola apps edu science.svg
Icono de esbozo.svg
Ta artiklo esas klada. Vu povas helpar ni per plugrosigar lu.

Logika programeso esas, en lua maxim larja senco, matematikala logiko.

Esas deklarativa programesa paradigmo en qua atribut-ensemblo ke solvo devas esar precizita prefere ke paz-ensemblo da obtenar ta solvo. La plu uzita logika programesa linguo esas Prolog. Altra, plu moderna inkluzas Mercury, Visual Prolog, ed Oz.
Skemecala, la proceso es:

fakti + ruguli = rezulti