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
- formal semantics
- expert systems
- representation language
- mathematical proofs
- logic programming
- natural language
- knowledge representation
- natural deduction
- programming language
- interactive theorem proving
- formal languages
- databases
- fine grained
- natural language interface
- knowledge based systems
- software engineering
- database systems
- knowledge base
- machine learning