An Herbrand theorem for prenex formulas of LJ.
Kenneth A. BowenPublished in: Notre Dame J. Formal Log. (1976)
Keyphrases
- horn clauses
- normal form
- logic programs
- logic programming
- first order logic
- von neumann
- function symbols
- statistical relational learning
- inference rules
- artificial intelligence
- mathematical formulas
- digital topology
- propositional formulas
- relational databases
- deductive databases
- inductive logic programming
- database design
- predicate calculus
- search space
- knowledge base
- real time