Keyphrases
- programming language
- theorem proving
- denotational semantics
- logic programming
- database languages
- specification language
- domain specific languages
- general purpose
- first order logic
- programming language constructs
- object oriented
- theorem prover
- abstract data types
- formal semantics
- parallel search
- decision procedures
- term rewriting
- automated reasoning
- software engineering
- object oriented programming
- consequence finding
- strongly typed
- high level
- computer programs
- proof planning
- inference rules
- high level programming language
- data model
- programming environment
- xml documents
- search algorithm
- fluent calculus
- programming tool
- knowledge representation
- program code
- object oriented databases
- predicate calculus
- model theoretic
- answer set programming