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

Matthew Francis-Landau
Matthew Francis-Landau
Cited by: 0|Views9

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 approac...More

Code:

Data:

Full Text
Bibtex
Your rating :
0

 

Tags
Comments