solving extends horn clauses allowing predicates declared constraint predicates occur literals body clauses constraint logic program set clauses form kbd h c sub sub c sub n sub b sub sub b sub n sub kbd kbd h kbd kbd b sub sub kbd atomic formulas kbd c sub sub kbd constraints declaratively clauses read ordinary logical implications kbd h c sub sub c sub n sub b sub sub b sub n sub kbd however whereas predicates heads clauses defined constraint logic program predicates constraints
Formal science Computer science Logic in computer science Logic programming