Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions.

Lex Bijlsma Rob Nederpelt

Published in: Acta Informatica (1998)

Keyphrases

predicate calculus
semantic network
formal model
first order logic
semantic net
predicate logic
lambda calculus
knowledge sources
theorem prover
database systems
knowledge base
proof procedure
artificial intelligence
student knowledge
logic programs
general purpose
databases