Keyphrases
- programming language
- modal logic
- classical logic
- programming environment
- multi valued
- general purpose
- database systems
- logic programming
- neural network
- high level language
- concurrent programming
- fully functional
- probabilistic logic
- programming course
- computer programming
- automated reasoning
- logical framework
- facility location
- predicate logic
- facility location problem
- proof theory
- development environment
- databases
- sound and complete axiomatization