Polymorphic lemmas and definitions in Lambda Prolog and Twelf
Andrew W. AppelAmy P. FeltyPublished in: CoRR (2004)
Keyphrases
- theorem proving
- logic programming
- programming language
- prolog programs
- expert systems
- fixed point
- neural network
- theorem prover
- knowledge representation
- abstract machine
- programming paradigms
- knowledge base
- data sets
- object oriented
- query language
- inference rules
- data model
- image processing
- constraint logic programming
- logic programming language
- precise definition
- real time