SWI Prolog Un prolog open-source molto usato e particolarmente ben integrato per il Semantic Web
Protégé Editor per ontologie
Drools Framework per regole forward
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://tuprolog.alice.unibo.it/
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.