Keyphrases
- recursive programs
- program synthesis
- logic programs
- declarative semantics
- multi valued
- horn clauses
- transformation rules
- theorem proving
- logic programming
- equational theories
- program execution
- logical framework
- modal logic
- predicate logic
- first order logic
- functional programs
- programming environment
- computer programs
- theorem prover
- classical logic
- bayesian networks
- neural network
- lattice theory
- data sets
- database