Coalgebraic logic programming: from Semantics to Implementation
Coalgebraic logic programming: from Semantics to Implementation
复制标题
代数逻辑编程：从语义到实现
DOI：
10.1093/logcom/exu026
复制
发表时间：
2016
影响因子：
0.7
通讯作者：
Komendantskaya E
中科院分区：
文献类型：
--
作者：
Komendantskaya E
余归纳定义，例如无限流的余归纳定义，通常可以用优雅的逻辑程序来描述，但是对于那些SLD-反驳没有价值的定义，因为SLD-推导会陷入无限循环。这样的定义引起了懒惰的共递归推导和并行性的问题，因为这样的逻辑程序的执行可以同时具有递归和共递归的特征。观察语义学和共代数语义学已经被用来抽象地研究它们。方案拟订工作往往是单独进行的，而且通常是以执行为主导的。在这里，我们给出了一个连贯的语义为主导的帐户的问题，从抽象的范畴理论语义，开发共代数自然产生的树和进行实现的一个新的方言，CoALP，逻辑编程，其特点是由看守懒惰corecursion和并行性。
Coinductive definitions, such as that of an infinite stream, may often be described by elegant logic programs, but ones for which SLD-refutation is of no value as SLD-derivations fall into infinite loops. Such definitions give rise to questions of lazy corecursive derivations and parallelism, as execution of such logic programs can have both recursive and corecursive features at once. Observational and coalgebraic semantics have been used to study them abstractly. The programming developments have often occurred separately and have usually been implementation-led. Here, we give a coherent semantics-led account of the issues, starting with abstract category theoretic semantics, developing coalgebra to characterize naturally arising trees and proceeding towards implementation of a new dialect, CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism.
登录
查看更多内容
和/或并行 Prolog 的优化实现
DOI：
--
发表时间：
1994
期刊：
Future generations computer systems
影响因子：
--
作者：
G. Gupta;V. S. Costa
通讯作者：
V. S. Costa
DOI：
--
发表时间：
2010
期刊：
International Conference on Algebraic Methodology and Software Technology
影响因子：
--
作者：
Ekaterina Komendantskaya;G. McCusker;J. Power
通讯作者：
J. Power
通过共归纳逻辑编程进行类型推断
影响因子：
2.6
作者：
D. Ancona;Giovanni Lagorio;E. Zucca
通讯作者：
E. Zucca
类型论中的结构递归定义
DOI：
--
发表时间：
1998
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
Eduardo Giménez
通讯作者：
Eduardo Giménez
类型理论中的无限对象
DOI：
--
发表时间：
1986
期刊：
Logic in Computer Science
影响因子：
--
作者：
N. Mendler;P. Panangaden;R. Constable
通讯作者：
R. Constable