Il glossario italiano di tecnologia e automotive
Glossario Italiano

Programmazione funzionale-logica

Verificato
Salva nei preferiti 0

Significato di «Programmazione funzionale-logica»

Paradigma dichiarativo che integra in un unico linguaggio i tratti della programmazione funzionale, come funzioni e valutazione pigra, e di quella logica, come variabili libere, unificazione e ricerca con backtracking; ne è esempio il linguaggio Curry.

Fonti: Integra funzionale e logica (Curry, narrowing). Fonti: Hanus 'Multi-paradigm Declarative Languages' (2007, ICLP); arXiv 'From Logic to Functional Logic Programs'. 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.