Keyphrases
- programming language
- logic programming
- multi valued
- general purpose
- functional analysis
- constraint language
- classical logic
- digital circuits
- logical framework
- sound and complete axiomatization
- distributed memory machines
- proof theory
- asynchronous circuits
- predicate logic
- computational properties
- real time
- software systems
- software engineering
- case study
- information systems
- neural network