THE INTER-CLAUSE OPTIMIZATION TECHNIQUE IN THE IMPLEMENTATION OF PROLOG-DBMS SYSTEMS
PROLOG—DBMS系统实现中的子句间优化技术

In the implementation of practical PROLOG-DBMS systems,the key issue is to maintain its correctness which is,unfortunately,often affected by extracting redundant facts from data base management systems.This paper presents a new technique called "inter-clause optimization" which can not only keep the system correct but also increase its efficiency by guaranteeing that only useful facts are loaded from DBMS and no fact is loaded more than once.