Login / Signup
Reusable monadic semantics of logic programs with arithmetic predicates.
José Emilio Labra Gayo
Juan Manuel Cueva Lovelle
María Cándida Luengo Díez
Agustín Cernuda del Río
Published in:
APPIA-GULP-PRODE (2001)
Keyphrases
</>
semantics of logic programs
deductive databases
datalog programs
fixpoint
logic programs
logic programming
integrity constraints
query evaluation
quantifier free
recursive queries
answer sets
finite state machines
horn clauses
truth values
sql queries
nonmonotonic reasoning
software components
stable models