Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations
Programming Languages
2020-10-21 v1 Symbolic Computation
Abstract
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.
Keywords
Cite
@article{arxiv.2010.10503,
title = {Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations},
author = {Matthew Francis-Landau and Tim Vieira and Jason Eisner},
journal= {arXiv preprint arXiv:2010.10503},
year = {2020}
}
Comments
An earlier version of this paper appeared at WRLA 2020