Versione delle 15:01, 22 giu 2024 modifica Simone Biancolilla (discussione \| contributi) Utenti autoverificati 30 786 modifiche →Collegamenti esterni: Aggiunto il template "FOLDOC" Etichetta: Editor wikitesto 2017 ← 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
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]].

Programmazione logica: differenze tra le versioni