Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages
François FagesPublished in: Constraint Programming (1994)
Keyphrases
- higher order
- constraint logic programming
- datalog programs
- horn clauses
- predicate invention
- logic programming
- horn clause logic
- pairwise
- expressive power
- search space
- high order
- logic programs
- pruning method
- inductive logic programming
- pruning algorithms
- language independent
- natural images
- grammatical inference
- markov random field
- fixpoint
- low order
- user defined
- lambda calculus
- lower order
- aggregate functions
- deductive databases
- constraint programming
- language identification
- representation language
- pattern languages
- logic programming language
- pruning methods
- first order logic
- database systems