Logica Per La Programmazione E La Dimostrazione Automatica 2012/2013

Il corso vuole introdurre lo studente alla programmazione dichiarativa basata sulla logica. Dopo una prima analisi delle differenze dei paradigmi di programmazione procedurali e dichiarativi, viene introdotto il Prolog come un linguaggio dichiarativo. Il linguaggio verrà descritto dal punto di vista sintattico e verranno introdotti i principali tipi di dati e gli operatori. Verranno descritte delle applicazioni nell'ambito dell'intelligenza artificiale e dell'elaborazione del linguaggio naturale. Verrà infine introdotta il legame con la logica dei predicati e con la logica del prim'ordine. Nel corso è prevista la realizzazione di un progetto nel linguaggio Prolog.

Testi Ivan Bratko, Prolog Programming for Artificial Intelligence (fourth edition), Addison Wesley