F-logic语言表达能力的研究
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家自然科学基金资助.


ON THE EXPRESSIVE POWER OF F-LOGIC LANGUAGE
Author:
Affiliation:

Fund Project:

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

    F-logic语言是一种基于框架逻辑的逻辑数据语言,它在表示面向对象的特征方面具有较强的能力,但是讨论其操作复杂对象能力的工作还不多见.本文比较了以COL,(complexobjectlanguage)为代表的逻辑数据语言与F-logic语言操作复杂对象的能力.通过两对保持语义的变换,能够将F-logic程序及其Herbrand解释与COL,程序及其Herbrand解释互相转变,且保持程序在相应解释下的真值性质.最后,讨论了否定的影响.本文的工作说明:在不考虑F-logic语言oid生成影响的情况下,F-logic语言与COL,LDL1和ELPS等逻辑数据语言在操作复杂对象方面具有相同的能力.

    Abstract:

    F-logic language is a logic database language based on frame logic.It is powerful in expressing object-oriented features.However,there was little work in discussing its capability of manipulating complex objects.In this paper,the authors compare the capability of F-logic with that of logic database languages represented by COL (complex object language).Through tWO pairs of semantic preserving transformations,F-logic programs and their Herbrand interpretations can be transformed into COL programs and their corresponding Herbrand interpretations,and vice versa.Also,the effects of negation are discussed.The results of this paper indicate that,without consider-ation of the effects of OID generating,F-logic language has the same power in manipulat-ing complex objects as COL, LDL1(1ogic database language), and ELPS.

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

田增平,王宇君,曲云尧,施伯乐. F-logic语言表达能力的研究.软件学报,1997,8(8):561-568

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:1996-10-16
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号