Modeling datalog fact assertion and retraction in linear logic.

Edmund Soon Lee Lam Iliano Cervesato

Published in: PPDP (2012)

Keyphrases

linear logic
logic programming
expressive power
cut elimination
deductive databases
artificial intelligence
query language
image segmentation
relational databases
dynamic programming
general purpose
fixed point
sequent calculus