| 关于逻辑程序设计语言PROLOG的若干实现技术 |
| |
| 引用本文： | 王强强,施鸿宝.关于逻辑程序设计语言PROLOG的若干实现技术[J].西安交通大学学报,1988(3). |
| |
| 作者姓名： | 王强强 施鸿宝 |
| |
| 作者单位： | 西安交通大学计算机科学与工程系，西安交通大学计算机科学与工程系 |
| |
| 摘 要： | PROLOG/KET是我们在E(?)e MV/8000Ⅱ小型计算机系统上用C语言实现的一个PROLOG解释系统,本文介绍该系统的合一算法及推理过程,讨论了实现技术方面的几个问题,包括子句的存储与搜索,控制栈的优化处理,以及程序库的管理和程序状态的处理,最后对系统的性能进行了分析,提出了几点改进设想.
|
| 关 键 词： | 系统程序 程序语言 解释程序 |
ABOUT SOME IMPLEMENTATION TECHNIQUES FOR LOGIC PROGRAMMING LANGUAGE |
| |
| Wang Qiangqiang,Shi Hongbao.ABOUT SOME IMPLEMENTATION TECHNIQUES FOR LOGIC PROGRAMMING LANGUAGE[J].Journal of Xi'an Jiaotong University,1988(3). |
| |
| Authors: | Wang Qiangqiang Shi Hongbao |
| |
| Institution: | Wang Qiangqiang;Shi Hongbao Department of Computer Science and Engineering |
| |
| Abstract: | |
| |
| Keywords: | system program programming language interpreter |
| 本文献已被 CNKI 等数据库收录！ |
