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