In this paper,we propose a new method to merge the logic with the object oriented paradigm, 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.
参考文献
相似文献
引证文献
引用本文
周立,吴泉源.逻辑和面向对象范例集成的研究与实现[J].国防科技大学学报,1994,16(4):42-47. Zhou Li, Wu Quanyuan. The Research and Implementation of Combining Logic with Object-Oriented Paradigm[J]. Journal of National University of Defense Technology,1994,16(4):42-47.