Constructive Failure in Functional-Logic Programming: From Theory to Implementation
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
复制标题
函数逻辑编程中的建设性失败：从理论到实现
DOI：
10.3217/jucs-012-11-1574
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
J. Sánchez
中科院分区：
文献类型：
--
作者：
J. Sánchez
函数式逻辑编程将函数式和逻辑式的一些主要特性合并到一个范例中。然而，否定是逻辑编程中一个被广泛研究的特性，在这种编程风格中没有得到太多的关注。对于地面目标，将某种否定作为有限失败并不难，但我们感兴趣的是能够处理非地面目标的建设性版本。有了这个目标，在以前的作品中，我们已经建立了一个正式的框架检查（有限）故障的减少。在本文中，我们适应它实现一个原型的功能逻辑语言与建设性失败的自然对应逻辑编程中的否定。
Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated feature in logic programming that has not received much attention in such programming style. It is not difficult to incorporate some kind of negation as finite failure for ground goals, but we are interested in a constructive version able to deal with non-ground goals. With this aim, in previous works we have built a formal framework for checking (finite) failure of reduction. In this paper we adapt it for im- plementing a prototype for a functional-logic language with constructive failure as the natural counterpart to negation in logic programming.
DOI：
10.1007/3-540-45406-3_5
发表时间：
2001-05
期刊：
--
影响因子：
--
作者：
M. Rodríguez-Artalejo
通讯作者：
M. Rodríguez-Artalejo