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

Preferenze cookie

Gestisci i cookie usati su Glossario Italiano. Puoi modificare le preferenze in qualsiasi momento dal link "Gestisci preferenze" in fondo a ogni pagina.

  • Necessari
    Login, sicurezza (CSRF), preferenze cookie. Sempre attivi.
    Sempre on
  • Statistici
    Misurano in forma aggregata come viene usato il sito. Nessun profilo personale.
  • Marketing
    Cookie di reti pubblicitarie esterne, se attivati in futuro. Oggi GLS non usa script di terze parti e i nostri sponsor sono editoriali, non profilano.