Keyphrases
- expressive power
- formal language
- logic programming
- multi valued
- random access memory
- highly expressive
- predicate logic
- computational properties
- modal logic
- language independent
- neural network
- linear array
- classical logic
- asynchronous circuits
- recursive functions
- automated reasoning
- target language
- programs written
- databases
- multilingual information retrieval