Keyphrases
- expert systems
- logic programming
- programming language
- knowledge representation
- meta reasoning
- knowledge base
- logic programming language
- meta level
- existentially quantified
- neural network
- prolog programs
- inference rules
- multiresolution
- artificial neural networks
- relational databases
- decision making
- genetic algorithm
- machine learning