逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法，其特点是在统一的逻辑语义和对象语义解释的基础上，同时支持逻辑语言的描述性特征，和面向对象语言的结构化、信息隐藏、继承等特性；并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上，探讨了逻辑对象的语义解释；最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。

The Research and Implementation of Combining Logic with Object-Oriented Paradigm

In this paper,we propose a new method to merge the logic with the object oriented pardigm.We intend to introduce the typical concepts of object oriented systems in the logic paradigm.without losing its advantages as a declarative language.An extensive Herbrand interpretation has been given to interpret thd logic semantics and the object oriented semantics uniformly.Based on this method.we design and implement an object oriented logic system.In the end,the paper gives the object primitives of the system.