The algorithms are simple to implement by specifying the inference rules as constraint propagation rules, the axioms and the goal items as constraints.
these systems with Det the Figure 1: Example Grammar: PP-attachment maintain a constraint base or store which is continually monitored for possible rule applications, i.e., whether there is enough information present to successfully use a rule to simplify constraints or to derive new constraints.