Intelligenza artificiale 1998 - 1999

Primo compitino 4 - 12 - 1998: Testo e soluzioni (postscript)

Secondo compitino 23 - 12 - 1998: Testo e soluzioni
Soluzioni della parte del Prof.Martelli (postscript)
Testo della parte della Dott.Sissa (documento Word) ... Non si riesce a scaricare, vero????

Terzo compitino 2 - 2 - 1999: Esercizi propedeutici
Testi e soluzioni: (postscript)
Programma metainterprete: (file meta.pl)
Programma constraints: (file constr3.pl)

Terzo compitino 2 - 2 - 1999:
Testo relativi alla parte del Prof. Martelli: (postscript)
Soluzione esercizio 1 (metainterpretazione): (file demo.pl)
Soluzione "debole" esercizio 2 in CLP (per ogni n turni di lavoro si devono fare almeno m turni di riposo): (file constr_w2.pl)
Soluzione "forte" esercizio 2 in CLP (per ogni n turni di lavoro si devono fare obbligatoriamente m turni di riposo, e poi riprendere a lavorare): (file constr_s3.pl)
Soluzioni "forte" e "debole" esercizio 2 con vincoli (non CLP) (file constr_sol.ps)
Testo e soluzioni relativi alla parte della Dott. Sissa: (file compito_soluzioni3.html)

Altre informazioni per gli studenti

Manuali di Prolog on-line

Sulle macchine del sw2 sono installati Eclipse (l'interprete si chiama lanciando ``eclipse'') e SICSTUS Prolog (l'interprete si chiama lanciando ``/share/pub/sicstus/bin/sicstus'').

Andate alla Home Page di SICStus Prolog per informazioni su SICStus

Manuali di SICStus Prolog disponibili su Web

HTML: single file (1.6MB), gzipped tar-file (396kB), zip-file (396kB).
PDF: plain (2.5MB), gzipped tar-file (1.5MB), zip-file (1.5MB).
Info: gzipped tar-file (381kB), zip-file (405kB), separate files.

Back to Viviana's home page