Programmazione logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Aggiungo: rue:Лоґічне проґрамованя |
m WPCleaner 0.99 - null - Programmazione |
||
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]].
| |||