Corso di Linguaggi Simbolici

Software

SICStus Prolog v.3

SICStus Prolog

SICStus 3#7 e 3.8.2 (9.6MB) per Windows 95/98/NT sono disponibili per gli studenti.

ATTENZIONE

SICStus richiede delle password durante l'installazione che verranno fornite a lezione su richiesta.

Sono disponibili alcune istruzioni sull'uso di Sicstus Prolog.

E' disponibile un tutorial su come integrare SICStus in Emacs.

ECLiPSe

ECLiPSe

ECLiPSe è un sistema prolog che contiene una libreria per la gestione dei vincoli su domini finiti. ECLiPSe è installato sulle macchine Sun del Lab2.

Sono disponibili alcune istruzioni sull'uso di ECLiPSe.

È disponibile un corso di Prolog (basato su SICStus) fornito dall'Università di Birmingham, United Kingdom.
ILOG

Fra i sistemi di Constraint Programming non basati sul Prolog, uno dei più comunemente usati è ILOG Solver.