Publisher's Synopsis
Presents two architectural design methodologies that exploit the manipulation of constraints in order to discover information about the design space, and to produce design descriptions within that space. Uses PROLOG to develop a blackboard architecture and both algorithmic and relational propagation