F—logic语言表达能力的研究

• 作 者: 田增平 王宇君
• 机 构: 复旦大学计算机系
• 出 处: 软件学报
• 发表日期: 1997年8期
• 关键词: 逻辑数据语言 F-logic语言 面向对象 Logic database language F-logic language complex object
• 基金项目: 国家自然科学基金

Ｆ－ｌｏｇｉｃ语言是一种基于框架逻辑的逻辑数据语言，它在表示向对象的特征方面具有较强的能力，但是讨论其操作复杂对象能力的工作还不多见，本文比较了以ＣＯＬ为代表的逻辑数据语言与Ｆ－Ｌｏｇｉｃ语言作复杂对象的能力。通过两对保持语义的变换，能够将Ｆ－ｌｏｇｉｃ程序及其Ｈｅｒｂｒａｎｄ解释与ＣＯＬ程序及其Ｈｅｒｂｒａｎｄ解释互相转变，且保持程序在相应解释下的情况下，Ｆ－ｌｏｇｉｃ语言与ＣＯＬ，ＬＤＬ１和Ｅ