Keyphrases
- logic programming
- programming language
- expert systems
- knowledge representation
- abstract machine
- knowledge base
- artificial intelligence
- backward chaining
- inference engine
- theorem proving
- multiresolution
- prolog programs
- data mining
- preprocessing
- natural language
- three dimensional
- feature selection
- information retrieval