Keyphrases
- programming language
- logic programming
- predicate logic
- modal logic
- automated reasoning
- programming environment
- real time
- development environment
- concurrent programming
- multi valued
- sound and complete axiomatization
- high level language
- delay insensitive
- proof theory
- computational properties
- probabilistic logic
- object oriented programming
- real world
- databases