Keyphrases
- vlsi design
- programming language
- logic programming language
- abstract machine
- logic programming
- design methodology
- concurrent programming
- constraint logic programming
- semantically equivalent
- natural language
- evolutionary algorithm
- knowledge representation
- functional programming
- language learning
- software systems
- situation calculus
- databases
- software engineering
- object oriented
- artificial neural networks
- expert systems
- learning algorithm