Salta ai contenuti. | Salta alla navigazione

Strumenti personali

Software

Per usare il software in laboratorio, si veda la Guida al laboratorio.

Il software che si può installare a casa è riportato di seguito.

SICStus Prolog v.3

SICStus Prolog

Dal sito della SICS è possibile scaricare una versione di prova valida per 30 giorni.

Sono disponibili alcune istruzioni sull'uso di Sicstus Prolog.

ECLiPSe

ECLiPSe

ECLiPSe è un sistema Prolog che contiene una libreria per la gestione dei vincoli su domini finiti. ECLiPSe è installato sulle macchine del laboratorio LIVA. ECLiPSe è recentemente distribuito come Open Source su SourceForge (per Windows, scaricare il file ECLiPSe5.10_25.exe).

Sono disponibili alcune istruzioni sull'uso di ECLiPSe.

SWI-Prolog

SWI

Ottimo compilatore gratuito, disponibile per Unix, Windows ed in formato sorgente (linguaggio C). Può essere scaricato gratuitamente dal sito della SWI.

Altri sistemi Prolog (o Prolog-like) gratuiti:

  • XSB: Sistema di programmazione logica basato su Tabled Resolution, che riesce a dare risposte in molti casi in cui la SLD resulution di Prolog va in ciclo infinito.
  • Ciao Prolog
  • tuProlog
  • YAP Prolog
  • Mercury: Compilatore di un linguaggio logico simile a Prolog, estremamente efficiente (a volte, più efficiente del C)

Altre implementazioni di Prolog possono essere trovate sulle FAQ (Frequently Asked Question) del gruppo di discussione comp.lang.prolog È disponibile sul web un corso di Prolog (basato su SICStus) fornito dall'Università di Birmingham, United Kingdom.

MIKE: ambiente per lo sviluppo di sistemi basati sulla conoscenza basato sul Prolog. Sono disponibili due versioni:

  • Mike2.5: codice eseguibile con interfaccia per MS-DOS (file .zip)
  • Mike2.03: codice sorgente prolog (file .zip)

Otter

Otter

Otter è un dimostratore automatico di teoremi di logica.

SLDNF Draw Un programma per disegnare alberi SLDNF in LaTeX