论文标题
评估具有内置和聚合的逻辑程序：袋子关系的演算
Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations
论文作者
论文摘要
我们提出了一种将逻辑程序翻译的方案，该计划可能使用聚合和算术，将其表示为代数表达式，该计划表示根据Herbrand宇宙的基础术语表示行李的关系。为了评估针对这些关系的查询，我们根据代数表达式的术语重写开发了一种操作语义。这种方法可以利用算术身份并恢复一系列有用的策略，包括将工作推迟到可能或必要的懒惰策略。
We present a scheme for translating logic programs, which may use aggregation and arithmetic, into algebraic expressions that denote bag relations over ground terms of the Herbrand universe. To evaluate queries against these relations, we develop an operational semantics based on term rewriting of the algebraic expressions. This approach can exploit arithmetic identities and recovers a range of useful strategies, including lazy strategies that defer work until it becomes possible or necessary.
