Logika programeso
De Wikipedio
Logika programeso esas, en lua maxim larja senso, 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
