长沙工学院计算机系
纸质出版:1989
移动端阅览
[1]张晨曦,慈云桂.Prolog代码库的一种管理方法[J].电子学报,1989(01):83-90.
Zhang Chen-xi, Ci Yun-gui. A Scheme lor Managing Prolog Code Database[J]. Acta Electronica Sinica, 1989, (1): 83-90.
在编译型Prolog系统中
程序以代码的形式存在。与传统语言不同
Prolog提供了修改数据库的功能
Prolog代码应是可修改的。对于这些代码
必须有一个功能较强的管理系统。本文论述了作者提出的在基于Warren抽象机(简称WAM)的编译型Prolog系统中代码库的一种管理方法。文中讨论了目标代码的形式
动态代码的管理方法以及半静态代码的管理方法。采用这种方法已在VAX-11/780上用C语言实现了一个Prolog代码库管理系统。
In compiler-based Prolog systems
programs exist in the form of object code. Unlike conventional languages
standard Prolog provides programmers with facilities for updating their programs during runtime by using built-in predicates such as assert and retract. Hence
Prolog code should be modifiable
and a powerful code manager is needed. In this paper
a scheme for managing Prolog code database in the framework of the Warren Abstract Machine (WAM) is presented. The form of the object code is first described. Then the methods for managing dynamic code and semi-static code are discussed. This scheme has been used for the implementation of a Prolog code database manager written in C on VAX-11/780.
0
浏览量
25
下载量
2
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621