Research on Parallel Lisp Language and System

为了响应并行符号计算、人工智能和各种软件科学技术的强烈需求，设计并实现了一种功能强大的并行LIP语言及其系统。并行LIP语言包含了麻省理工学院的Multilisp和斯坦福大学的Qlisp的所有基本语言结构，因此被称为PaiLisp。PaiLisp是一种基于模式的并行LIP语言，用于共享内存体系结构。PaiLISP系统已在具有8个处理单元的共享内存并行机Alliant FX/80上实现。实现了BTH PaiLisp解释器和编译器。它们已被用于在PaiLisp上实现并行Prolog、结构化网络操作系统、并发项重写系统、并行ATMS、并行Cyk解析器和并行符号代数等。本研究的重要贡献在于引入了P-Continution，提取了PaiLisp-Kernel，并建立了一种并行语言实现的P-Continue传递式技术。

A powerful parallel Lisp language and its system were designed and implemented in order to respond to a strong demand of parallel symbolic computing artificial intelligence and various software science and technology.The parallel Lisp language is called "PaiLisp" which is very powerful since it contains all the basic language constructs of Multi- lisp of MIT and Qlisp of Stanford. PaiLisp is a Scheme based parallel Lisp for a shared memory architecture. The PaiLisp system has been implemented on Alliant FX/80, a shared memory parallel machine with 8 processing units. Bth PaiLisp interpreter and complier were implemented. They have been used to implement various parallel systems like parallel Prolog on PaiLisp,Structured Net Manipulation System,Concurrent Term Rewriting System,Parallel ATMS, Parallel CYK parser and parallel symbolic algebra.The important contributions of this research are in introducing the P-continuation,in extracting PaiLisp-Kernel, and in establishing a technique of P-continuation passing style for implementation of parallel language.