Conversion of Predicate-Calculus Axioms to Corresponding Deterministic Programs.

Published in: IEEE Trans. Computers (1976)

Keyphrases

predicate calculus
first order logic
database languages
theorem proving
formal model
semantic network
lambda calculus
propositional logic
knowledge base
predicate logic
probabilistic reasoning
theorem prover
inference rules
turing machine
proof procedure
semantic net
fixpoint
horn clauses
data model