Replacing Unification by Constraint Satisfaction to Improve Logic Program Expressiveness.
John W. RoachR. SundararajanLayne T. WatsonPublished in: J. Autom. Reason. (1990)
Keyphrases
- constraint satisfaction
- logic programs
- computational properties
- constraint satisfaction problems
- logic programming
- answer sets
- constraint programming
- fixpoint
- stable models
- heuristic search
- constraint relaxation
- answer set programming
- general logic programs
- combinatorial problems
- inductive logic programming
- constraint propagation
- arc consistency
- logic program updates
- expressive power
- constraint solving
- function symbols
- inside outside algorithm
- loop formulas
- prolog programs
- normal logic programs
- phase transition
- description logics
- sat solvers
- propositional theories
- horn clauses
- soft constraints
- robust fault detection
- probabilistic reasoning