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