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”，这非常有力，因为它包含了Stanford的MIT和Qlisp的所有基本语言结构。 Pailisp是基于方案的平行LISP，用于共享内存体系结构。 PAILISP系统已在Alliant FX/80上实现，这是一种具有8个处理单元的共享存储器并行计算机。实施了BTH Pailisp解释器和合格器。它们已被用来实施各种并行系统，例如PAILISP上的平行序言，结构化的净操作系统，同时的术语重写系统，并行ATM，平行的CYK PARSER和并行符号代数。这项研究的重要贡献是在Pailisp-kernel和Plaction Fornucuation for Persanciquan for a Ps-Contin forsique for porniquin insique forsique forsique forsique forsique for porniquin insique forsique for po intiquin insique in the and-continique in section syqueique in section syqueique。

项目成果

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)。