Programmazione logica
Verificato
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