Linguaggi di Programmazione: Linguaggi Logici

Giorgio Levi    Tel. 0502212700

I corsi di logica, semantica e linguaggi formali.

Introdurre i fondamenti semantici della programmazione logica positiva e di alcune sue estensioni (programmazione logica con vincoli, programmazione logica con negazione), con il fine di mostrare quegli aspetti del paradigma che sono più interessanti dal punto di vista delle applicazioni.

Il corso introduce il paradigma della programmazione logica, trattando i programmi puri, quelli con negazione e la programmazione con vincoli, sia negli aspetti semantici che in quelli applicativi.

The logic programming paradigm is introduced by discussing both semantic issues and applications for pure logic programs, logic programs with negation and constraint logic programs.