Programmazione logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 2:
La '''programmazione logica''' è un [[paradigma di 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]], o suoi sottolinguaggi, come [[Datalog]] o [[AnsProlog]].
Il meccanismo principale per elaborare teorie logiche fatte di clausole è l'unificazione.
| |||