引用本文: | 金芝,胡守仁.结合逻辑和面向对象范例的一种新模型(SCKE)[J].国防科技大学学报,1992,14(3):1-8.[点击复制] |
Jin Zhi,Hu Shouren.SCKE:A New Model for Combining Logic with Object-oriented Paradigm[J].Journal of National University of Defense Technology,1992,14(3):1-8[点击复制] |
|
|
|
本文已被:浏览 5322次 下载 4970次 |
结合逻辑和面向对象范例的一种新模型(SCKE) |
金芝, 胡守仁 |
(电子计算机系)
|
摘要: |
逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand 解释,并由此探讨了SCKE 模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了 SCKE 模型的主要特点。 |
关键词: 逻辑语言,面向对象语言,模型,Herbrand 解释 |
DOI: |
投稿日期:1991-10-03 |
基金项目:国家高技术发展计划资助项目 |
|
SCKE:A New Model for Combining Logic with Object-oriented Paradigm |
Jin Zhi, Hu Shouren |
(Department of Computer Science)
|
Abstract: |
Nowadays. the paradigms, namely the object-oriented language and the logic programming language, are two attractive knowledge programming languages. However, a generally accepted answer to the question “How to combine the logic-with the object-oriented paradigm for complex knowledge processing?” is still to be given. In this paper, a new model SCKE has been proposed towards combining the logic-with the object-oriented paradigm of computing. It is intended to introduce the concepts that are typical for the object-oriented systems in the logic-oriented paradigm, without losing its advantages as a declarative language. An extensive Herbrand interpretation for SCKE model has been defined to interpret uniformly the logic semantics and the object-oriented semantics. SCKE model has been implemented on SUN separately by the following three methods:precompiling-based meta-level extension, interpreting execution and compiling execution. Finally, the features of SCKE model have been discussed. |
Keywords: logic programming,object-oriented paradigm,model,Herbrand interpretation |
|
|
|
|
|