Program Analysis with Horn Clauses.

Published in: AlgoSyn (2010)

Keyphrases

horn clauses
logic programs
first order logic
inference rules
conceptual clustering
inductive logic programming
database queries
lattice theory
databases
software engineering
logic programming
function symbols
keywords
training set