Logikala programigado: Diferi inter la revizi

Kontenajo efacita Kontenajo adjuntita
mNula rezumo di redakto
mNula rezumo di redakto
Lineo 1:
'''[[Logika programeso]]''' 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 />
Skemecala, la proceso es: