Programmazione logica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Rimozione coll. est. non rispettosi della policy. |
Nessun oggetto della modifica |
||
Riga 4:
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]].
Il meccanismo principale per elaborare teorie logiche fatte di clausole è l'
Fra le estensioni della programmazione logica sono la [[Programmazione logica induttiva]] e la [[Programmazione logica abduttiva]].
|