SICStus
SICStus Prolog può essere scaricato gratuitamente
dagli studenti, con licenza educational. Per accedere al sito, e necessario usare una password
che verrà distribuita a lezione. E' necessario poi richiedere, via mail, all'Ing. Chesani,
i codici per decriptare ed attivare il software.
Sono disponibili alcune istruzioni sull'uso di Sicstus Prolog.
ECLiPSe
ECLiPSe è un sistema Prolog che contiene una libreria
per la gestione dei vincoli su domini finiti. ECLiPSe è
installato sulle macchine Sun del Lab2.
Anche per ECLiPSe esistono licenze studenti; chi fosse
interessato può farne richiesta ai docenti.
Sono disponibili alcune istruzioni sull'uso di ECLiPSe.
tuProlog
tuProlog è un Prolog basato su Java per applicazioni internet. E' scaricabile da http://lia.deis.unibo.it/research/2P/
Corsi on-line
È disponibile sul web un corso di Prolog (basato su SICStus) fornito dall'Università di Birmingham, United Kingdom.
KappaPC
KappaPC è un tool per la creazione di Sistemi Esperti ed applicazioni in campo medico. Per agevolare lo sviluppo e l'implementazione di un sistema esperto esistono alcuni strumenti ad hoc, composti principalmente da una o più librerie di funzioni già pronte all'uso. Queste funzioni possono essere utilizzate per l'inserimento della conoscenza, per la scrittura di regole, per l'interfacciamento ai database e forniscono anche gli strumenti per realizzare il motore di inferenza più appropriato. Ogni tool presenta cartteristiche peculiari che lo possono rendere più o meno adatto allo sviluppo di un particolare sistema esperto.
Lucidi introduttivi:
Blocco 1: Introduzione ai sistemi esperti
Blocco 2: KappaPC
Blocco 3: Progetti su sistemi esperti
Software:
ATTENZIONE! Il download e l'utilizzo del software KappaPC è consentito solo a
scopo puramente didattico. Non sono consentiti il download e l'uso del software KappaPC
per scopi commerciali, a fini di lucro, o per qualunque altro scopo diverso da quelli
dichiarati. Il software KappaPC è protetto da copyright ed è proprietà
dell'Università di Bologna. Ogni utilizzo illecito del software KappaPC potrà
essere perseguito secondo i termini di legge. Il software può essere scaricato a
questo link.