“…Galileo is a frame-based constraint programming language based on the first-order predicate calculus. Galileo offers designers a rich language for describing the structure of a product, the environment in which a product is being developed, and the responsibilities of the various participants in an integrated product development environment~Bowen & Bahler, 1992;Dongen et al, 1997;O'Sullivan et al, 1999!. The inference capabilities of the Galileo run-time environment are based on arc consistencỹ Mackworth, 1977!, a limited form of path consistency, and propagation of known states.…”