Programmazione logica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto

Versione delle 14:56, 22 giu 2024 modifica Simone Biancolilla (discussione \| contributi) Utenti autoverificati 30 786 modifiche m →Altri progetti: Aggiunto il parametro "Preposizione" nel template "Interprogetto" 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
(2 versioni intermedie 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 14: == Altri progetti == {{interprogetto\|preposizione=sulla}} == Collegamenti esterni == * {{Collegamenti esterni}} * {{FOLDOC\|logic programming\|logic programming}} {{Paradigmi di programmazione}}