论文部分内容阅读
介绍了一个新的结合面向对象技术的知识表示系统ＯＯｐｌｏｇ。以前的一些系统都是建立在Ｐｒｏｌｏｇ解释器的基础上，间接实现的，效率较低，而ＯＯｐｌｏｇ系统将面向对象技术与逻辑语言相结合，采用Ｃ语言直接实现，所以效率较高．ＯＯｐｌｏｇ具有较强的建模能力，并提供了统一的推理机。它吸收了Ｐｒｏｌｏｇ的推理能力，并且支持面向对象中的封装、多态性、动态约束和多继承等机制，因此它是一个有效的知识表示系统。
Introduces a new OOplog, a knowledge representation system combining with object-oriented technology. Some of the previous systems are based on the Prolog interpreter, indirectly, and inefficiently. OOplog systems combine object-oriented technology with logical languages and are implemented directly in C, making them more efficient. OOplog has strong modeling capabilities and provides a unified reasoning engine. It incorporates Prolog’s reasoning capabilities and supports mechanisms such as encapsulation, polymorphism, dynamic constraints, and multiple inheritance in object-oriented, so it is an effective knowledge representation system.