Keyphrases
- logic programming
- logic programs
- logic programming language
- knowledge representation
- garbage collection
- abductive reasoning
- nonmonotonic reasoning
- programming language
- word processing
- expert systems
- collaborative writing
- search algorithm
- background knowledge
- knowledge base
- functional programming
- causal networks
- prolog programs
- learning algorithm
- reasoning tasks
- deductive databases
- decision trees
- databases
- default reasoning
- general purpose
- backward chaining
- software engineering
- social networks
- semantically equivalent
- abstract machine