Recursive monadic bindings.

Levent Erkök John Launchbury

Published in: ICFP (2000)

Keyphrases

datalog programs
query answering
deductive databases
datalog queries
recursive queries
fixpoint
data complexity
conjunctive queries
databases
decision making
data structure
data exchange
neural network
query language
valued logic