Declarative Programming with Algebra.

André van Delft Anatoliy Kmetyuk

Published in: FLOPS (2016)

Keyphrases

declarative programming
answer set programming
logic programming
logic programs
query language
algebraic expressions
data model
artificial intelligence
database systems
relational algebra
boolean algebra
high level
search space
algebraic operations