Logika programeso
From Wikipedia
Logika programeso es 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 es Prolog. Altra, plu moderna inkluzas Mercury, Visual Prolog, ed Oz.
Skemecala, la proceso es:
- fakti + ruguli = rezulti