• Docente: Prof. Gianfranco Rossi (e-mail: gianfranco.rossi at unipr.it)

 
• Collocazione: I anno, II semestre

 
• Finalità.

Il corso intende fornire le nozioni di base sulla programmazione dichiarativa, illustrandone alcuni degli aspetti fondamentali tramite la presentazione e l'applicazione pratica del linguaggio di programmazione logica Prolog.
 
• Prerequisiti.

Le nozioni e le tecniche di base della programmazione convenzionale (ad esempio in C). Le nozioni di base riguardanti strutture dati fondamentali come liste, alberi e grafi. Le nozioni di base su funzioni e insiemi e su connettivi ed espressioni logiche. Familiarietà nell'uso del calcolatore.
 
• Crediti: 6 CFU
• 32 ore di lezioni frontali
• 20 ore di esercitazioni di laboratorio

• Programma del corso a.a. 2007-2008

 
• Esercizi svolti

• Orario lezioni ed esercitazioni

• Orario ricevimento

• Esami: modalità d'esame, esercizi assegnati, date, iscrizione agli esami via Internet

 
• Mailing list studenti ed elenco studenti

• Informazioni sulla programmazione dichiarativa e sul Prolog

• SWI Prolog: l'ambiente di programmazione Prolog utilizzato per il corso

• Anni accademici passati:
• a.a. 2003-2004
• a.a. 2004-2005
• a.a. 2005-2006
• a.a. 2006-2007

L'esame consiste nella preparazione e discussione di esercizi di programmazione Prolog assegnati nella parte finale del corso e sviluppati in modo autonomo (con l'assistenza del docente) da ciascun studente, e in un esame orale su tutto il programma del corso. La discussione degli esercizi assegnati e la prova orale vengono effettuate di norma contemporaneante.
 

• I SESSIONE

       2 appelli a Giugno-Luglio 2008
• II SESSIONE

       1 appello a Settembre 2008
• III SESSIONE

       2 appelli a Febbraio-Marzo 2009

Il corso ha una propria mailing list. La lista serve a docenti e studenti per lo scambio di informazioni relative al corso. Avvisi, dubbi, domande e risposte... va tutto bene purché attinente al corso o, più in generale, alla programmazione. Gli archivi della mailing list sono liberamente consultabili. Per inviare un messaggio alla lista basta scrivere all'indirizzo linguaggi-dichiarativi@studenti.cs.unipr.it.