Logikala programigado: Diferi inter la revizi

'''Logika programeso''' esas, en lua maxim larja senso, [[matematikala logiko]].

Esas [[deklarativa programeso|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 programeso|Mercury]], [[Visual Prolog]], ed [[Oz programesa linguo|Oz]]. <br />