引用本文: | 李良良,慈云桂.一种结构化的编译型 PROLOG数据库及其管理策略[J].国防科技大学学报,1988,10(2):58-66.[点击复制] |
Li Liangliang,Ci Yungui.A Structured Organization for the Compiler-based PROLOG Database and Its Management[J].Journal of National University of Defense Technology,1988,10(2):58-66[点击复制] |
|
|
|
本文已被:浏览 4678次 下载 5126次 |
一种结构化的编译型 PROLOG数据库及其管理策略 |
李良良, 慈云桂 |
(计算机科学系)
|
摘要: |
PROLOG 数据库存放着构成 PROLOG 程序的子句以及表示成子句的全局数据,它的组织与管理是实用PROLOG系统的关键,这一点在提高执行效率的编译型PROLOG系统中尤为如此。本文以YH-SIM—— 一个扩充了的 WAM 模型为基础,提出-种新颖的编译型PROLOG数据库结构形式,其中
?过程中的子句索引与子句彼此分离;
?子句索引块分成多个专门的子索引块;
?一个子句按两种形式存放,子句代码和子句项(源子句形式)。二者分离且共享同一索引,因此代码库和项库的管理是一体化的。
这些结构化的特征,有力地支持 PROLOG 数据库的操作及管理(子句的插入删除,以及空间分配与回收)。文中还介绍了-种简明有效的管理方法。 |
关键词: PROLOG,逻辑程序设计,数据库,空间回收 |
DOI: |
投稿日期:1987-11-20 |
基金项目:国家自然科学基金资助项目 |
|
A Structured Organization for the Compiler-based PROLOG Database and Its Management |
Li Liangliang, Ci Yungui |
(Department of Computer science)
|
Abstract: |
In PROLOG database stored are clauses comprising PROLOG procedures and other long-term data structures represented as clauses. The implementation techniques for the manípulation of clauses are very important for PROLOG'S being a powerful AI language. It is even more the case when considering the storage of compiled clauses. With the supports of YH-SIM architecture,we propose a new structured organization for compiler-based PROLOG database,and present a simple and efficient management strategy that a procedure is the unit for claiming,and a clause the unit for dooming. Also different schemes for clause representation in the database are investigated briefly. |
Keywords: PROLOG,Logic programming,Database,Garbage col1ection |
|
|