Keyphrases
- expert systems
- logic programming
- prolog programs
- programming language
- knowledge representation
- knowledge base
- abstract machine
- programming paradigms
- logic programming language
- constraint logic programming
- logic programs
- general purpose
- inference engine
- theorem proving
- data sets
- association rules
- support vector
- data structure
- objective function
- image processing
- information systems
- data mining