PCDB - A Procedure Generator for a Predicate Calculus Data Base.

Anders Haraldson

Published in: IFIP Congress (1974)

Keyphrases

predicate calculus
proof procedure
formal model
first order logic
database
semantic network
predicate logic
theorem proving
databases
lambda calculus
semantic net
machine learning