Herbrand Constraint Solving in HAL.
Bart DemoenMaria J. García de la BandaWarwick HarveyKim MarriottPeter J. StuckeyPublished in: ICLP (1999)
Keyphrases
- constraint solving
- logic programs
- constraint propagation
- first order logic
- constraint logic programming
- logic programming
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- constraint programming
- statistical relational learning
- horn clauses
- function symbols
- database
- finite domain
- relational databases
- answer sets
- inference rules
- dynamic programming
- databases