PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Montangero C., Pacini G. L'implementazione del nucleo di un sistema LISP orientato per la elaborazione di contesti semantici. Internal note IEI-C72-05, 1972.
 
 
Abstract
(English)
No abstract available
Abstract
(Italiano)
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)
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional