张晨曦
- 作品数：3 被引量：1H指数：1
- 供职机构：长沙工学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种支持Prolog数据库操作和数值计算的顺序推理机系统结构的设计
- 1989年
- 为了高效实现Prolog,人们研制了面向Prolog的专用处理机或处理器片子。然而,已有的这类机器大多或者不能支持Prolog数据库操作的实现,或者不能进行快速的数值计算。本文论述了我们设计的一种基于WAM-PLUS模型的顺序推理机GKD-PLM的系统结构。该结构不仅能高速执行Prolog代码,而且支持数据库操作和数值计算。文中在论述GKD-PLM的特点之后,介绍了Prolog处理机SPP的指令系统、数据表示、执行部件的硬件结构、微程序控制器的结构等。并对其性能进行了评估。
- 张晨曦慈云桂
- 关键词：数据表示
- Prolog代码库的一种管理方法
- 1989年
- 在编译型Prolog系统中,程序以代码的形式存在。与传统语言不同,Prolog提供了修改数据库的功能,Prolog代码应是可修改的。对于这些代码,必须有一个功能较强的管理系统。本文论述了作者提出的在基于Warren抽象机(简称WAM)的编译型Prolog系统中代码库的一种管理方法。文中讨论了目标代码的形式,动态代码的管理方法以及半静态代码的管理方法。采用这种方法已在VAX-11/780上用C语言实现了一个Prolog代码库管理系统。
- 张晨曦慈云桂
- 关键词：PROLOG代码库计算机
- 基于Warren抽象机的Prolog实现技术的研究被引量：1
- 1990年
- 本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能实现一致的动态代码语义。文中还介绍了Prolog编译策略和Prolog编译器的设计,描述了一种顺序推理机的系统结构。
- 张晨曦慈云桂
- 关键词：抽象机PROLOG
