| 引用本文: | 金芝,胡守仁.结合逻辑和面向对象范例的一种新模型（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[点击复制] |
|
| |
|
|
| 本文已被：浏览 5757次 下载 5438次 |
| 结合逻辑和面向对象范例的一种新模型（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 |
|
|
|
|
|
