A Composistional Theory of Constraint Hierarchies

  title={A Composistional Theory of Constraint Hierarchies},
  author={Michael Jampel},
  booktitle={Over-Constrained Systems},
We propose a variant of the Hierarchical Constraint Logic Programming (HCLP) scheme of Borning, Wilson, and others. We consider compositionality and incrementality in Constraint Logic Programming, introduce HCLP, and present Wilson's proof that it is non-compositional. We define a scheme which uses bags (multisets) called BCH (Bags for the Composition of… CONTINUE READING