L'implementazione del nucleo di un sistema LISP orientato per la elaborazione di contesti semantici

No abstract available

Questa nota descrive lo stato attuale (1 Novembre1972) di un interprete LISP (LISPP: LISP Pisa) , scritto in PL/I e disponibile sul sistema IBM 360/67 del C.N.U.C.E. (Centro Nazionale Universitario di Calcolo Elettronico, Università di Pisa). LISPP costituisce un nucleo che si prevede di estendere in modo da realizzare un sistema per la manipolazione di modelli semantici e per la dimostrazione automatica di teoremi. Più precisamente, LISPP è costituito dall'interprete, dalle funzioni LISP elementari e da alcune funzioni per la gestione di files su disco. La documentazione qui contenuta verrà periodicamente aggiornata con l'evoluzione del sistema. Per la comprensione di questa nota è necessaria la conoscenza di alcuni elementi della struttura del linguaggio LISP e del suo interprete ( 1) (2)