A Database-Complete Proof Procedure Based on SLD-Resolution.

Laurent Vieille

Published in: ICLP (1987)

Keyphrases

database
proof procedure
databases
database systems
propositional logic
theorem proving
artificial intelligence
relational databases
machine learning
expert systems
xml documents
query processing
programming language
first order logic
randomly generated
proof procedures