Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations

20 Oct 2020 · Matthew Francis-Landau, Tim Vieira, Jason Eisner ·

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.

PDF Abstract

Code

Add Remove Mark official

matthewfl/dyna-R official

Datasets

Add Datasets introduced or used in this paper

Edit Social Preview

Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations

Code Edit Add Remove Mark official

Categories

Datasets Edit

Code

Add Remove Mark official

Datasets