From Primal Infon Logic with Individual Variables to Datalog.

Nikolaj Bjørner Guido de Caso Yuri Gurevich

Published in: Correct Reasoning (2012)

Keyphrases

logic programming
existentially quantified
query language
expressive power
linear program
query answering
logical formulas
deductive databases
linear programming
random variables
integrity constraints
modal logic
variable selection
primal dual
transitive closure
recursive programs