摘要
逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。
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.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1992年第3期1-8,共8页
Journal of National University of Defense Technology
基金
国家高技术发展计划资助项目
关键词
逻辑语言
面向对象语言
SCKE模型
logic programming, object—oriented paradigm, model, Herbrand interpretation
