L'esame consiste in un orale e in un progetto.<P>

L'orale intende verificare la conoscenza degli elementi teorici
presentati durante il corso. Il voto dell'orale viene integrato
dal voto del progetto, il quale consiste nella realizzazione di
una applicazione Prolog o di programmazione con vincoli.