Logikala programigado: Diferi inter la revizi

Kontenajo efacita Kontenajo adjuntita
Addbot (diskutez | kontributadi)
m Bot: Migrating 29 interwiki links, now provided by Wikidata on d:q275603 (translate me)
mNula rezumo di redakto
Lineo 1:
'''Logika programeso''' esas, en lua maxim larja sensosenco, [[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 />