Programmazione logica
Verificato
Aggiornato il 05/08/2026
Significato di «Programmazione logica»
Paradigma dichiarativo in cui il programma è un insieme di fatti e regole e il calcolo consiste nel derivare conclusioni tramite inferenza logica. L'esecuzione avviene interrogando la base di conoscenza, come nel linguaggio Prolog, che cerca soluzioni compatibili con i vincoli.
Fonti: Logic programming: programma come insieme di clausole (fatti e regole); il calcolo è inferenza (risoluzione, unificazione) a partire da query, come in Prolog. Fonti: Wikipedia 'Logic programming'; Kowalski, 'Logic for Problem Solving'. Verifica web 2026-08-03. · Verificato il 2026-08-03
Domande frequenti su Programmazione logica
Cosa significa «Programmazione logica»?
Paradigma dichiarativo in cui il programma è un insieme di fatti e regole e il calcolo consiste nel derivare conclusioni tramite inferenza logica. L'esecuzione avviene interrogando la base di conoscenza, come nel linguaggio Prolog, che cerca soluzioni compatibili con i vincoli.
A quale glossario appartiene «Programmazione logica»?
«Programmazione logica» fa parte del glossario Paradigmi di programmazione, nella categoria Programmazione di Glossario Italiano.