Memoizing a Monadic Mixin DSL.

Pieter Wuille Tom Schrijvers Horst Samulowitz Guido Tack Peter J. Stuckey

Published in: WFLP (2011)

Keyphrases

deductive databases
datalog queries
datalog programs
integrity constraints
artificial intelligence
database systems
metadata
query answering