Keyphrases
- logic programming
- computer aided
- prolog programs
- process planning
- knowledge representation
- expert systems
- programming language
- abstract machine
- programming paradigms
- inference engine
- general purpose
- real world
- logic programming language
- theorem proving
- knowledge base
- knowledge based systems
- software engineering
- evolutionary algorithm
- horn clauses
- relational databases
- constraint logic programming
- preprocessing
- support vector
- databases