Keyphrases
- programming language
- logic programming
- functional language
- modal logic
- development environment
- multi valued
- proof theory
- functional analysis
- databases
- probabilistic logic
- classical logic
- programming environments
- delay insensitive
- automated reasoning
- computer programming
- database
- predicate logic
- epistemic logic
- linear logic
- object oriented programming
- computer programs