Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf.

Andrew W. Appel Amy P. Felty

Published in: Theory Pract. Log. Program. (2004)

Keyphrases

theorem proving
programming language
expert systems
logic programming
theorem prover
knowledge representation
logic programming language
knowledge base
first order logic
backward chaining
database
clustering algorithm
logic programs
sufficient conditions