Keyphrases
- logic programming
- expert systems
- knowledge representation
- abstract machine
- prolog programs
- inference engine
- constraint logic programming
- programming language
- theorem proving
- logic programming language
- database
- logic programs
- basis functions
- data sets
- genetic algorithm
- backward chaining
- databases
- evolutionary algorithm
- information retrieval
- cooperative
- face recognition
- information systems
- search engine