The poor man's proof assistant: using prolog to develop formal language theoretic proofs.
Joey EremondiPublished in: SPLASH (Companion Volume) (2013)
Keyphrases
- formal language
- theorem proving
- theorem prover
- mathematical proofs
- formal semantics
- automated theorem provers
- knowledge representation
- natural deduction
- natural language interface
- artificial intelligence
- representation language
- first order logic
- logic programming
- knowledge base
- interactive theorem proving
- linear logic
- domain knowledge
- formal languages
- databases