**********************************************************************
Criteri di valutazione (non coprono tutti i casi possibili, ma
la maggior parte).
**********************************************************************

I voti variano tra i seguenti (descritti in percentuale rispetto 
al voto pieno):

A (100%), A- (91.7%), A/B (83.4%), B+ (75.1%), 
B (66.8%), B- (58.5%), B/C (50.2%), C+ (41.9%), 
C, (33.6%) C- (25.3%), C/D (17%), D+ (8.7%), D (0%).

A+ viene assegnato solo se l'esercizio o la domanda sono stati
affrontati in maniera piu' accurata e precisa della media
e vale 108.3% del voto pieno. 
Il voto attribuito ad un esercizio/domanda svolti correttamente ma
nella media rispetto agli altri studenti e' A.

Nel seguito si indica con "-" il decremento di una frazione di voto.

Ad esempio, se si fanno tre errori che valgono un decremento "-" ciuscuno, 
il voto ottenuto sara` B+. Se si fanno tre errori che valgono "--" il voto
ottenuto sara' B/C.

Domanda 1.1

Se si definisce la sost. come insieme e 
non come funzione e non si dice che vi sono tutte distinte: -
Non dire che ti diverso da vi per ogni i: -
Dire che un mgu e' una sostituzione o "risoluzione" o
"modificatore" e non un unificatore, oppure non dire cosa e' mgu: --
Ogni altro errore: -- oppure - a seconda della gravita' 


Domanda 1.2

Non definire le clausole: --
Dire che le variabili in una clausola sono implicitamente quantificate 
esistenzialmente: -
Non dire che le clausole di Horn definite hanno esattamente un letterale
positivo: -
Non dire che le clausole di Horn negative non hanno letterali positivi: -
Ogni altro errore: - o -- a seconda della gravita'


Domanda 1.3

Risposta corretta ma troppo sintetica (descrive solo 
una delle possibili analogie o differenze): C+
Risposta corretta e sintetica, ma che copre piu' analogie/diff.: B+
Risposta sintetica e imprecisa: B-
Descrizione dell'interprete prolog, senza mettere in luce analogie/diff
rispetto a linguaggi imperativi: B/C

Domanda 2.1

Definizione che non descrive come costruire l'albero (non dice qual e'
la radice, come si generano i nodi), ma descrive abbastanza correttamente
la derivazione SLD: C+
Definizione che non descrive come costruire l'albero (non dice qual e'
la radice, come si generano i nodi), e descrive con molte
imprecisioni la derivazione SLD: C-
Definizione che descrive l'albero SLD ma contiene errori: -- per ogni errore


Domanda 2.2

Descrizione corretta dell'interprete astratto per progr. logici (non per
Prolog puro): B/C
Descrizione dell'interprete per Prolog puro con errori: -- per ogni errore

Domanda 2.3

Risposta troppo sintetica (illustra solo cosa succede con un certo programma, 
ma non discute cosa cambierebbe modificando l'ordine delle clausole
o degli atomi): C+
Risposta che discute solo l'ordine delle clausole o degli atomi: B+
Sono possibili voti intermedi a seconda della sinteticita` della risposta.

Esercizi 1.1 e 1.2


Programma corretto e albero parzialmente corretto: voto compreso tra A- e B-, a seconda
della gravita' degli errori
Programma corretto ma albero gravemente sbagliato o non disegnato: B/C
Programma e albero entrambi sbagliati: voto compreso tra C+ e D, a seconda
della gravita'


Esercizi 2.1 e 2.2

Errori gravi (es: utilizzo errato delle variabili per passare parametri): ---
Erroti medi: -- 
Errori lievi, dimenticanze imputabili a distrazione: -