Prolog／Lisp协处理器板对Prolog部分的支持

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kLIP/s的要求。     

An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems

Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.     

Visual Prolog的DDE机制研究

对Visual Prolog的DDE机制进行了研究.首先介绍了动态数据交换技术及其工作原理,简明概括了Visual Prolog的功能、特点以及在专家系统、规划和其它AI相关问题求解方面的优势,其次阐述了Visual Prolog的DDE机制,列出了Visual Prolog中18个DDE谓词和13个DDE事件,分别介绍了作为客户机时,一个典型的请求从其他应用程序输入数据的Visual Prolog程序的关键步骤和作为服务器时,一个典型的响应其他应用程序请求数据的Visual Prolog程序的关键步骤.最后给出了一个Visual Prolog DDE机制应用的实例.     

PLC指令预取部件 IPU 的设计与实现

众所周知,Prolog和Lisp是目前国内外普遍采用的人工智能语言。Prolog和Lisp语言的协处理器就是一个通过硬件环境实现对Prolog和Lisp进行加速执行的硬件系统,具有很大的应用价值及研究前景。本文介绍了Sun工作站的Prolog/Lisp协处理器(PLC)中的指令预取部件(Instruction Prefetch Unit,简称IPU)的性能、工作原理及其技术特点,同时给出了采用FPGA技术对IPU进行集成的技术方案及其较大的应用前景。