Istruzioni per l'uso dell'Interprete Lambda Prolog "Terzo"

1. Scrivere nel proprio file .cshrc le seguenti direttive:

   setenv TERZO_PATH "/home/stud/catuscia/terzo/lib/ ."

   setenv TERZO_INITIAL /home/stud/catuscia/terzo/lib/terzo.rc

   alias Terzo '/home/stud/catuscia/terzo/bin/Terzo'

   La prima di queste direttive setta il path per i file necessari all'interprete (lo spazio fra "lib/" e il punto e' necessario). La seconda fa caricare alcuni "moduli di sistema" (attualmente, i moduli ListUtil e maps, che lavorano su liste). L'ultima crea un alias che permettera' di invocare l'interprete semplicemente col comando "Terzo".
2. Dare il comando "source .cshrc" (cio' e' necessario solo la prima volta).
3. Dare il comando "Terzo". Questo fara' si che si entri nell'ambiente interattivo Lambda Prolog.
4. A questo punto si possono scrivere moduli, o caricarli da file gia' esistenti, interrogare l'interprete ecc. Per le istruzioni riguardo a queste funzioni, si rimanda al manualetto quick_start.

Note sul manuale "quick_start"

• In tale manuale vengono mostrati alcuni esempi di sessione. I path visualizzati, ovviamente, sono diversi da quelli che si vedranno sulla propria macchina.
• In tale manuale e' detto che si puo' uscire dall'ambiente Lambda Prolog digitando "#quit.". Cio' non e' vero. L'unico modo per uscire, al momento, e' digitare "^D" (Control-D). Inoltre per uscire dal modo query (cioe' quando il prompt e' "?-") occorre digitare "#end.", e non "quit." come e' scritto sul manuale.

Esempio di sessione

Esempio di programmazione in Lambda Prolog