The design of DOOL, the language of the deductive object database, and the implementation of the prototype system based on DOOL are the keys of this diesis.
演绎对象库语言dool的设计与基于DOOL的原型系统的实现是本文的关键。
2
A logic programming language EXLOGL based on extended PROLOG is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.