| 引用本文: | 李良良,慈云桂.一种结构化的编译型 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[点击复制] |
|
| |
|
|
| 本文已被：浏览 5090次 下载 5570次 |
| 一种结构化的编译型 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 |
|
|
