Keyphrases
- programming language
- abstract machine
- logic programming language
- constraint logic programming
- logic programming
- expert systems
- language processing
- knowledge base
- natural language
- language learning
- knowledge representation
- general purpose
- semantically equivalent
- representation language
- first order logic
- declarative language
- computational linguistics
- programming environment
- target language
- situation calculus
- inference rules
- data sets
- case study
- information systems
- social networks
- artificial intelligence
- genetic algorithm
- machine learning