| 引用本文: | 周立,吴泉源.逻辑和面向对象范例集成的研究与实现.[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[点击复制] |
|
| |
|
|
| 本文已被：浏览 5441次 下载 6182次 |
| 逻辑和面向对象范例集成的研究与实现 |
| 周立, 吴泉源 |
|
(国防科技大学 计算机系 湖南 长沙 410073)
|
| 摘要: |
| 提出了结合逻辑和面向对象范例的一种新方法，其特点是在统一的逻辑语义和对象语义解释的基础上，同时支持逻辑语言的描述性特征，和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的 Herbrand 解释基础上，探讨了逻辑对象的语义解释; 最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。 |
| 关键词: 逻辑 对象 方法 继承 消息 |
| DOI： |
| 投稿日期：1994-05-24 |
| 基金项目: |
|
| The Research and Implementation of Combining Logic with Object-Oriented Paradigm |
| Zhou Li, Wu Quanyuan |
|
(Department of Computer, NUDT, Changsha，410073)
|
| Abstract: |
| 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. |
| Keywords: logic object method inheritance message |
|
|
