Versione delle 10:06, 13 mar 2006 modifica 85.43.48.2 (discussione) Nessun oggetto della modifica ← Differenza precedente		Versione delle 10:15, 13 mar 2006 modifica annulla 85.43.48.2 (discussione) Nessun oggetto della modifica Differenza successiva →
Riga 1: {{stub informatica}} La '''programmazione logica''' è un paradigma di [[programmazione]] che adotta la [[logica]],o altre stronzate del genere,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