Programmazione logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m Annullate le modifiche di 85.43.48.2, riportata alla revisione precedente di Hellisp |
||
Riga 1:
{{stub informatica}}
La '''programmazione logica''' è un paradigma di [[programmazione]] che adotta la [[logica]
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]].
| |||