Recent developments in mega's proof search programming language.
Serge AutexierDominik DietrichPublished in: ACM Commun. Comput. Algebra (2010)
Keyphrases
- recent developments
- programming language
- proof search
- theorem prover
- linear logic
- theorem proving
- inference rules
- logic programming
- proof planning
- general purpose
- search procedure
- object oriented
- software engineering
- high level
- strongly typed
- recent advances
- proof procedure
- object oriented programming
- denotational semantics
- programming environment
- computer programs
- bayesian networks
- sequent calculus
- functional programming
- first order logic
- search algorithm
- knowledge base
- natural deduction
- fixed point
- relational databases
- integrity constraints
- desirable properties