Research on Parallel Lisp Language and System

并行Lisp语言及系统研究

• 批准号: 01420029
• 负责人: ITO Takayasu
• 金额: $ 22.34万
• 依托单位: TOHOKU UNIVERSITY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (A)
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 1992
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-01420029/
• 关键词: Parallel Lisp; Pail,isp; Parallel Symbolic Computing; PaiLisp interpreter; PaiLisp compiler; P-continuation; PaiLisp-Kernel; P-continuation passing style; PaiLisp-Kenel; 並列Lisp; 並列定理証明プログラム; ペトリネット操作システム; 並列プロダクションシステム; σー計算; 並列プロセス計算; PaiL

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.

为了应对并行符号计算人工智能和各种软件科学技术的强烈需求，设计并实现了一种功能强大的并行Lisp语言及其系统。并行Lisp语言被称为“PaiLisp”，功能非常强大，因为它包含了所有MIT 的 Multilisp 和斯坦福大学的 Qlisp 的基本语言结构。 PaiLisp 是一个基于共享内存架构的并行 Lisp 方案。 PaiLisp系统已在Alliant FX/80上实现，Alliant FX/80是具有8个处理单元的共享内存并行机。 Bth PaiLisp 解释器和编译器已实现。它们已被用于实现各种并行系统，如 PaiLisp 上的并行 Prolog、结构化网络操作系统、并发术语重写系统、并行 ATMS、并行 CYK 解析器和并行符号代数。这项研究的重要贡献在于引入了 P-延拓，提取PaiLisp-Kernel，并建立用于实现并行语言的P-延续传递风格的技术。

项目成果

T.Seino,S.Kawamoto,T.Ito: "PaiLisp interpreter and its applications" Springer LNCS.

T.Seino、S.Kawamoto、T.Ito：“PaiLisp 解释器及其应用”Springer LNCS。

Ito,Takayasu(伊藤 貴康): "Logic of execution:An outline" Lecture Notes in Computer Science. 491. 79-91 (1991)

Ito, Takayasu：“执行逻辑：概述”计算机科学讲义 491. 79-91 (1991)。

清野 智弘: "PaiLispにおける並列構文の実現法とその評価" 情報処理学会第44回全国大会論文集. 5-95-5-96

Tomohiro Seino：“在 PaiLisp 中实现并行语法的方法及其评估”第 44 届日本信息处理学会全国会议论文集 5-95-5-96。

T.Ito,M.Matsui: "A parallel Lisp language PaiLisp and its kernel specification" Springer LNCS. 441. 58-100 (1990)

T.Ito，M.Matsui：“并行 Lisp 语言 PaiLisp 及其内核规范”Springer LNCS。

Ito,Takayasu(伊藤 貴康): "A parallel Lisp language PaiLisp and its kernel specification" Lecture Notes in Computer Science. 441. 58-100 (1990)

Ito, Takayasu：“并行 Lisp 语言 PaiLisp 及其内核规范”计算机科学讲义 441. 58-100 (1990)。