Launching the new era
Launching the new era
复制标题
开启新时代
DOI：
10.1145/153520.153541
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
K. Fuchi
中科院分区：
文献类型：
--
作者：
K. Fuchi
在ICOT的中出策略中，内核编程语言的选择对于所有其他开发至关重要，向下到硬件架构，向上到操作系统、编程环境和应用程序。 GHC 于 1984 年定义，已被证明是 KL1 的良好基础，KL1 是用于开发 PIMOS、PIM 操作系统和 PIM 应用程序的内核语言。 Ueda 描述了 GHC 的思想史及其在第五代项目中的作用。 Ken Kahn 和他在 Xerox PARC 的团队开创了并发逻辑编程的多个研究方向。首先，他们提供了一种在并发逻辑语言之上使用高级语言进行面向对象编程的方法。其次，他们研究了并发逻辑编程在分布式开放系统编程中的使用。第三，该小组成员Vijay Saraswat将并发逻辑编程和约束逻辑编程的方法集成到并发约束编程的cc框架中。第四，卡恩和萨拉斯瓦特发明了一种将并发逻辑程序及其计算完全可视化的方法，这可能标志着可视化编程的突破。卡恩描述了他的团队进行的研究以及他们与 ICOT 和魏茨曼研究所同事的互动。对于 ICOT 成功实现实际运行和可用的创新计算机系统，Takashi Chikayama 的责任比任何其他人都大。 Chikayama 是 ICOT 开发的所有软件系统的首席架构师和首席程序员，包括 ESP（ICOT 的 Prolog 面向对象版本）、SIMPOS（ICOT Prolog 工作站的操作系统和编程环境，他们在项目的大部分时间里的主要主力）、KL1（PIM 的内核编程语言）和 PIMOS（PIM 操作系统）。 Chikayama 与我们分享了他设计、实现和使用这些软件系统的经验。埃文·蒂克博士论文主题是Prolog架构的设计和性能评估。 Tick 是根据 ICOT-NSF 交流协议访问的第一位美国博士后研究员。 Tick 在 ICOT 期间研究了 Prolog 和 FGHC 的共享内存实现。在ICOT完成博士后工作后，Tick又在日本作为东京大学的教员呆了一年，仍然与ICOT保持着密切的联系。在“局外人”中，Tick 可能是最熟悉第五代项目内部运作的人，他在本特殊部分的贡献中对此进行了描述。我们以简短的尾声结束本特别部分，其中简要评估了文章中介绍的材料，并提供了对第五代计算机系统项目的一些一般评估。 •
middle-out strategy of ICOT, the choice of the kernel programming language was crucial to all other developments, downward to-the hardware architecture and upward to the operating system, programming environment, and applications. GHC, defined in 1984, has proved to be a sound basis for KL1, the kernel language used for the development of PIMOS, the PIM operating system, and the PIM applications. Ueda describes the intellectual history of GHC and its role in the Fifth Generation project. Ken Kahn and his group at Xerox PARC have pioneered several research directions in concurrent logic programming. First, they offered a method for objectoriented programming within a high-level language on top of a concurrent logic language. Second, they have investigated the use of concurrent logic programming for programming distributed open systems. Third, Vijay Saraswat, a member of the group, has integrated the approaches of concurrent logic programming and constraint logic programming in the cc framework for concurrent constraint programming. Fourth, Kahn and Saraswat have invented a method for the complete visualization of concurrent logic programs and their computations, which might signal a breakthrough in visual programming. Kahn describes the research carried out by his group and their interaction with colleagues at ICOT and at the Weizmann Institute. Takashi Chikayama is responsible, more than any other person, for ICOT's success in realizing innovative computer systems that were actually working and usable. Chikayama was chief architect and chief programmer of all the software systems developed at ICOT, including ESP (ICOT's object-oriented version of Prolog), SIMPOS (the operating system and programming environment of ICOT's Prolog workstation, their main workhorse during most of the project), KL1 (the kernel programming language for PIM), and PIMOS (the PIM operating system). Chikayama shares with us his experience in designing, implementing, and using these software systems. Evan Tick's Ph.D. dissertation was on the design and performance evaluation of Prolog architectures. Tick was the first U.S. postdoctoral participant at ICOT, visiting under the ICOT-NSF exchange agreement. Tick investigated shared-memory implementations of both Prolog and FGHC while at ICOT. Following his postdoctoral work at ICOT, Tick spent another year in Japan as a faculty member of Tokyo University, still maintaining close contacts with ICOT. Among the "outsiders," Tick i~ perhaps the most intimately familiar with the inner workings of the Fifth Generation project, which he describes in his contribution to this special section. We conclude this special section with a short epilogue which briefly assesses the material presented in the articles and offers some general assessments of the Fifth Generation Computer Systems project. •