Keyphrases
- programming language
- predicate logic
- logic programming
- computational properties
- database
- programming environments
- digital circuits
- programming course
- modal logic
- object oriented programming
- computer programming
- multi valued
- high level language
- dynamic logic
- asynchronous circuits
- programming environment
- source code
- general purpose
- object oriented
- search algorithm
- databases