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
Type  article
Stage   submitted
Date   2020-10-20
Version   v1
Language   en ?
arXiv  2010.10503v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c02d2361-1808-49b7-8a3d-29266ccf9b9b
API URL: JSON