{log}: A Logic Programming Language with Finite Sets.
Agostino DovierEugenio G. OmodeoEnrico PontelliGianfranco RossiPublished in: ICLP (1991)
Keyphrases
- logic programming language
- finite sets
- logic programming
- constraint logic programming
- piecewise linear
- inference rules
- linearly separable
- situation calculus
- knowledge representation
- logic programs
- schema mappings
- positive and negative examples
- constraint solving
- positive and negative
- databases
- answer set programming
- high dimensional
- database systems
- learning algorithm
- machine learning