Optimal Non-deterministic Functional Logic Computations
Optimal Non-deterministic Functional Logic Computations
复制标题
最优非确定性函数逻辑计算
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
S. Antoy
中科院分区：
文献类型：
--
作者：
S. Antoy
我们证明，非确定性简化了将某些问题编码到程序中的过程。我们定义了一类非融合但表现良好的重写系统，用于支持函数逻辑编程中的非确定性计算。我们通过几个示例展示使用此类的好处。我们为此类系统定义了一个缩小策略，并证明我们的策略对于这些概念的适当定义是合理的、完整的、最优的、模非确定性选择。我们将我们的策略与相关工作进行比较，并表明我们的整体方法与当前通用的、基础广泛的功能逻辑语言的提议完全兼容。
We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-deterministic computations in functional logic programming. We show the benefits of using this class on a few examples. We define a narrowing strategy for this class of systems and prove that our strategy is sound, complete, and optimal, modulo non-deterministic choices, for appropriate definitions of these concepts. We compare our strategy with related work and show that our overall approach is fully compatible with the current proposal of a universal, broad based functional logic language.