节点文献

NPU-PROLOG 2.0解释系统的实现

THE IMPLEMENTATION OF NPU-PROLOG 2·0 INTERPRETER

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 张遵濂； 张翔青； 郑海君； 黄京炜；

【Author】 Zhang Zunlian

【机构】 西北工业大学； 西北工业大学；

【摘要】 NPU-PROLOG 2.0是作者在IBM PC/XT上采用pascal语言实现的一个PROLOG解释系统。本文对该系统的核心部分作了介绍,主要包括:存贮管理、回溯处理和死循环检测。

【Abstract】 NPU-PROLOG 2.0 is a PROLOG interpreter which is implemented in PASCAL on IBM PC/XT.The paper gives the introduction to the kernel part of the system. It mainly includes: storage management, backtracking and dead loop processing.

【关键词】 解释系统； NPU-PROLOG 2.0； 死循环； 系统生成； 回溯算法； 匹配处理； 功能模块； 变量名； 匹配算法； 模式匹配；
  • 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,1987年05期
  • 【被引频次】1
  • 【下载频次】11
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)