Why Use Datalog to Analyze Programs?

Published in: ICLP (2006)

Keyphrases

expressive power
deductive databases
query language
recursive programs
query answering
logic programming
neural network
database languages
information systems
case study
information technology
first order logic
query evaluation
program synthesis