Keyphrases
- logic programming
- expert systems
- knowledge base
- knowledge representation
- programming language
- inference engine
- regular patterns
- prolog programs
- abstract machine
- learning environment
- support vector
- preprocessing
- feature space
- feature extraction
- special case
- computer vision
- database systems
- constraint logic programming
- logic programming language
- backward chaining