Elementi di Matematica Computazionale
Prova scritta - Traccia A2
27 gennaio 2020
Durata della prova: 1h
Nome :Cognome :Matricola :
Esercizio n. 1
Sapendo che ”Se ho rotto il PC allora riparo il PC” e che ”ho rotto il PC”, possiamo
concludere che ”riparo il PC”? Motivare la risposta.
Esercizio n. 2
Per il seguente enunciato dichiarativo si fornisca un alfabeto del primo ordine, una cor-
rispondente interpretazione sul dominio delle persone e una formula del primo ordine che lo
formalizzi:
“Se Giuseppe e suo zio sono usciti insieme allora hanno almeno un amico in comune”.
Esercizio n. 3
Si scriva in PROLOG la relazione professore(X,Y) che ´e vera se X ´e un professore di Y,
partendo dai predicati:
insegna(X,Z) vero se il professore X insegna nella classe Z, e
frequenta(Y,Z) vero se lo studente Y frequenta la classe Z.
Si supponga che insegna(X,Z) e frequenta(Y,Z) contengano i seguenti fatti:
insegna(astorino,a1).
insegna(greco,b1).
insegna(esposito,a1).
insegna(alfano,b1).
insegna(angiulli,a2).
frequenta(bianchi,a1).
frequenta(rossi,b1).
frequenta(neri,a2).
frequenta(verdi,b1).
frequenta(gialli,a1).
•Come si interroga PROLOG per conoscere i professori dello studente ”bianchi”?
•Come si interroga PROLOG per conoscere gli studenti della classe ”b1”?
•Come si interroga PROLOG per conoscere i professori della classe ”a2”?
Quali saranno le risposte?
1
