Obiettivi formativi.
Introdurre i linguaggi di programmazione basati sul paradigma logico.
Attività formative.
Il corso prevede 44 ore di lezioni fra teoria e esempi di programmazione
(essenzialmente in Prolog)
Programma del corso.
Logica del prim'ordine
Unificazione
Programmazione con clausole di Horn
Programmazione in PROLOG
Compilazione di programmi PROLOG
Programmi logici generali
Esempi di programmazione dichiarativa
Programmi logici con vincoli