Software

 

SICStus

SICStus Prolog può essere scaricato gratuitamente dagli studenti, con licenza educational. Durante l'installazione viene richiesta una password, che verrà distribuita a lezione.
Sito protetto da password fornita a lezione da cui scaricare Sicstus.
Sono disponibili alcune istruzioni sull'uso di Sicstus Prolog.

 

ECLⁱPS^e

ECLⁱPS^e è un sistema Prolog che contiene una libreria per la gestione dei vincoli su domini finiti. ECLⁱPS^e è installato sulle macchine Sun del Lab2.
Anche per ECLⁱPS^e esistono licenze studenti; chi fosse interessato può farne richiesta ai docenti.
Sono disponibili alcune istruzioni sull'uso di ECLⁱPS^e.

 

tuProlog

tuProlog è un Prolog basato su Java per applicazioni internet.
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: 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.