Programmazione logica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto

Versione delle 14:58, 22 giu 2024 modifica Simone Biancolilla (discussione \| contributi) Utenti autoverificati 30 786 modifiche →Collegamenti esterni: Creato la sezione e aggiunto il template "Collegamenti esterni" Etichetta: Modifica visuale ← Differenza precedente		Versione attuale delle 00:19, 23 apr 2025 modifica annulla Capagira (discussione \| contributi) 531 modifiche m introduzione dei concetti di risoluzione, sostituzione e unificazione Etichetta: Modifica visuale
(Una versione intermedia di un altro utente non mostrate)
Riga 5: 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'la regola di ragionamento detta [[Risoluzione (logica)\|risoluzione]] di Robinson, a sua volta basata su concetti come [[Sostituzione (logica)\|sostituzione]] e [[Unificazione (logica)\|unificazione]]. Fra le estensioni della programmazione logica sono la [[programmazione logica induttiva]] e la [[programmazione logica abduttiva]]. Riga 17: == Collegamenti esterni == * {{Collegamenti esterni}} * {{FOLDOC\|logic programming\|logic programming}} {{Paradigmi di programmazione}}