限定约束函数逻辑程序设计的一种通用方案
A Generic Scheme for Qualified Constraint Functional Logic Progamming
摘要：
限定最近被引入作为逻辑程序设计领域中的不确定性的概括。在这份报告中，我们研究了一个更有表现力的语言一阶函数逻辑编程的约束和资格。我们提出了一个重写逻辑，其特点是打算语义的程序，和一个原型实现的基础上，语义正确的程序转换。所得到的语言的潜在应用包括灵活的信息检索。作为一个具体的例子，我们展示了如何编写程序规则来计算合格的答案，用户查询有关的书籍在一个给定的图书馆。
英文摘要：
Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this report we investigate a more expressive language for First-Order Functional Logic Programming with Constraints and Qualification. We present a Rewriting Logic which characterizes the intended semantics of programs, and a prototype implementation based on a semantically correct program transformation. Potential applications of the resulting language include flexible information retrieval. As a concrete illustration, we show how to write program rules to compute qualified answers for user queries concerning the books available in a given library.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
