Keyphrases
- logic programming
- expert systems
- prolog programs
- programming language
- knowledge representation
- constraint logic programming
- knowledge base
- logic programming language
- data sets
- real world
- semantically equivalent
- backward chaining
- abstract machine
- transaction costs
- logic programs
- image segmentation
- social networks
- data mining
- databases