Obiettivi formativi.
Introdurre i linguaggi di programmazione basati sul paradigma logico.
Attività formative.
Il corso prevede 44 ore di lezioni fra teoria e alcune sessione di
programmazione in laboratorio (essenzialmente in Prolog)
Programma del corso.
- Logica del prim'ordine
- Unificazione
- Programmazione con clausole di Horn
- Programmazione in PROLOG
- Programmi logici generali
- Esempi di programmazione Prolog
- Programmi logici con vincoli
- Esempi di programmazione con vincoli
- Semantica di punto fisso
- Analisi statica