论文部分内容阅读
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.本文引入了在G(o)del语言中支持面向对象的程序开发技术的新的语言成分,对面向对象技术在语言中的实现和应用进行了一些深入的分析和讨论.
G(o)del语言中面向对象技术的实现
【摘 要】
：
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义.本文引入了在G(o)del语言中支持面
【机 构】
：
厦门大学计算机科学系,厦门,361005
【出 处】
：
2005年中国模糊逻辑与计算智能联合学术会议
【发表日期】
：
2005年期
其他文献
由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑.将tableau转化为IP方法后,可以采
本文对南海东沙群岛海域11个站位表层沉积物样品中无机碳酸盐岩的碳、氧稳定同位素及生物标志化合物组合进行了分析,尝试性寻找南海东沙群岛东南海域反映水合物分解甲烷氧化
本文指出串空间模型中消息子句关系的局限性,并通过引入映射f:K×Bn-1→B,扩展了该消息子句关系.扩展消息子句关系可以修补由消息子句关系引起的原模型缺陷.在扩展消息子句关
知识经济时代的来临拓宽了财务管理发展的空间和范围,改变了财务管理方式与内容,将对财务管理观念、财务管理目标、财务管理方式、财务管理内容和财务报告模式产生深远地影响
如何在元程序设计中表示目标程序是元程序设计的关键.对于逻辑程序语言,目标程序的表示方法有两种:基本表示与非基本表示.Prolog语言与G(o)del语言分别支持使用非基本表示与
目的 探讨胃肠外科手术中不规范使用管状吻合器而导致吻合口梗阻发生的原因及预防对策.方法 回顾性分析2005年7月至2016年7月期间于笔者所在医院接受胃肠道手术且在术中使用
期刊
本文意图将Lambek演算LC中的范畴概念推广到模糊模糊范畴,从而使LC推广为模糊Lambek演算FLC,并给出易于应用的简化演算FLC*.通过示例的成功应用,说明FLC是LC的一种合适的推广
本刊讯 我国的一项劳动保护科研成果──由黑龙江省劳动保护研究所研制的GS系列隔声、阻尼、防辐射材料(见本刊11期报道),最近在第36届世界发明博览会上首次获得金奖。我国劳
手术完全切除肝/肺转移灶仍是目前治愈结直肠癌肝/J|肺转移的最佳方法,推荐符合手术适应证的患者在适当的时机接受手术治疗初始不可切除的患者推荐经多学科团队讨论后,行全身
期刊