L'esame consiste in un orale,
in tre sessioni di laboratorio e in un progetto.<P>

L'orale intende verificare la conoscenza degli elementi teorici
presentati durante il corso. Durante le tre sessioni di laboratorio si
verificheranno le conoscenze della programmazione Prolog appresa a
lezione. Il voto viene infine integrato
dal voto del progetto, il quale consiste nella realizzazione di
una applicazione Prolog o di programmazione con vincoli.