Keyphrases
- search strategy
- databases
- search algorithm
- search strategies
- search space
- logic programming
- knowledge representation
- prolog programs
- data base management
- abstract machine
- hill climbing
- programming language
- expert systems
- constraint logic programming
- logic programming language
- programming paradigms
- knowledge base
- effective pruning
- database systems
- knowledge discovery
- logic programs
- inference engine