广义循环余归纳的函数逻辑程序设计
Functional Logic Programming with Generalized Circular Coinduction
摘要：
我们提出了一种方法，以适应功能逻辑编程处理推理coinductively解释的程序，以及归纳解释的程序。为了做到这一点，我们考虑一类有趣的对象，这种共归纳的解释，即正规条款。我们展示了如何通常的数据结构可以适应捕捉这些对象。我们采用Curry的操作语义来解释程序。我们用几个例子来说明这种方法，这些例子显示了我们的方法的工作原理和几种情况下，它可能是有用的。最后，我们建议如何声明性语义可以适当地适应。
英文摘要：
We propose a method to adapt functional logic programming to deal with reasoning on coinductively interpreted programs as well as on inductively interpreted programs. In order to do so, we consider a class of objects interesting for this coinductive interpretation, namely regular terms. We show how the usual data structures can be adapted to capture these objects. We adapt the operational semantics of Curry to interpret programs coinductively. We illustrate this method with several examples that show the working of our method and several cases in which it could be useful. Finally, we suggest how the declarative semantics can be adapted suitably.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
