Versione delle 19:37, 6 nov 2015 modifica Botcrux (discussione \| contributi) Bot 3 672 053 modifiche m →Collegamenti esterni: Bot, replaced: Categoria:Teorie della programmazione → Categoria:Paradigmi di programmazione ← Differenza precedente		Versione delle 00:36, 17 mar 2016 modifica annulla Horcrux (discussione \| contributi) Amministratori dell'interfaccia, Amministratori 168 067 modifiche wikilink più specifici Differenza successiva →
Riga 1: {{S\|programmazione}} La '''programmazione logica''' è un [[paradigma di ~~[[programmazione (informatica)\|~~programmazione]] che adotta la [[logica]] del primo ordine]] sia per rappresentare sia per elaborare l'informazione. In particolare viene adottato il frammento della logica a [[clausola di Horn\|clausole di Horn]] che rappresenta la base teorica su cui sono costruiti i linguaggi di programmazione afferenti al paradigma logico e in particolare il [[Prolog]].

Programmazione logica: differenze tra le versioni