Il glossario italiano di tecnologia e automotive
Glossario Italiano

Programmazione logica con vincoli

Verificato
Salva nei preferiti 0

Significato di «Programmazione logica con vincoli»

Paradigma che estende la programmazione logica sostituendo l'unificazione con la risoluzione di vincoli su domini specifici (reali, interi, insiemi finiti). Introdotto da Jaffar e Lassez nel 1987 come schema generico CLP(X) parametrico sul dominio.

Fonti: Constraint Logic Programming (CLP), fusione di logica e constraint solving. Fonti: Jaffar & Lassez, Constraint Logic Programming, POPL 1987; Jaffar & Maher, Constraint Logic Programming: A Survey, ScienceDirect (0743106694900337). 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.