Implementing HOL in an Higher Order Logic Programming Language.
Cvetan DunchevClaudio Sacerdoti CoenEnrico TassiPublished in: LFMTP (2016)
Keyphrases
- logic programming language
- higher order
- higher order logic
- logic programming
- inference rules
- constraint logic programming
- theorem prover
- natural deduction
- situation calculus
- pairwise
- declarative semantics
- high order
- markov random field
- deductive databases
- logic programs
- knowledge base
- theorem proving
- formal methods
- constraint satisfaction
- constraint solving
- programming language
- knowledge representation
- lambda calculus