Logika programeso

De Wikipedio
Irez ad: pilotado, serchez

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