Keyphrases
- logic programming
- programming paradigms
- expressive power
- functional programming
- language independent
- knowledge representation
- knowledge base
- abstract machine
- neural network
- prolog programs
- inference engine
- text classification
- information retrieval
- constraint logic programming
- target language
- expert systems
- programming language
- situation calculus
- search algorithm
- high level
- grammatical inference
- multi lingual
- website
- information systems
- description languages
- explanation based generalization
- logic programs
- multilingual information retrieval
- machine learning