Inductive Prover Based on Equality Saturation for a Lazy Functional Language.
Sergei A. GrechanikPublished in: Ershov Memorial Conference (2014)
Keyphrases
- functional language
- functional programs
- functional programming
- proof planning
- theorem proving
- programming language
- theorem prover
- proof search
- inductive learning
- database
- inductive logic programming
- inference rules
- machine learning
- first order logic
- general purpose
- equivalence relation
- proof procedure
- object oriented programming
- propositional logic
- simulated annealing