Foundations of Logic Programming in Hybridised Logics
Foundations of Logic Programming in Hybridised Logics
复制标题
混合逻辑中的逻辑编程基础
DOI：
10.1007/978-3-319-28114-8_5
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Daniel Gaina
中科院分区：
文献类型：
--
作者：
Kazuhide Yasukata;Naoki Kobayashi;Kazutaka Matsuda;Daniel Gaina
本文为混合逻辑中的逻辑编程奠定了基础。基本的逻辑编程语义概念（例如查询和解决方案）以及基本结果（例如初始模型的存在性和赫布兰德定理）是在非常通用的混合逻辑系统上开发的。我们在作为机构捕获的任意逻辑系统上采用 Diaconescu 提出的混合过程来定义逻辑编程框架。
The present paper sets the foundation of logic programming in hybridised logics. The basic logic programming semantic concepts such as query and solutions, and the fundamental results such as the existence of initial models and Herbrand’s theorem, are developed over a very general hybrid logical system. We employ the hybridisation process proposed by Diaconescu over an arbitrary logical system captured as an institution to define the logic programming framework.