逻辑和面向对象范例集成的研究与实现
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


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

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    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.

    参考文献
    相似文献
    引证文献
引用本文

周立,吴泉源.逻辑和面向对象范例集成的研究与实现[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.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1994-05-24
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2015-01-23
  • 出版日期:
文章二维码