Prolog
Verificato
Significato di «Prolog»
Linguaggio di programmazione logica sviluppato ad Aix-Marseille nel 1972; il programma descrive fatti e regole in clausole di Horn e l'esecuzione avviene per risoluzione SLD e unificazione. È stato centrale nell'IA simbolica, soprattutto europea.
Fonti: Origine (Aix-Marseille, 1972) e semantica (SLD-resolution, clausole di Horn) verificate su Russell & Norvig (AIMA) e Britannica ('Prolog, computer language'); verifica web 2026-08-03. · Verificato il 2026-08-03