BibTeX
CSL-JSON
MLA
Harvard
Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations
release_2lvy267bffdo3nbq7lsbqajnuy
by
Matthew Francis-Landau and Tim Vieira and Jason Eisner
Released
as a article
.
2020
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.
In text/plain
format
Archived Files and Locations
application/pdf 356.6 kB
file_co4cpfturjfpvez7oixsklrwq4
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
arXiv
2010.10503v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links