Logic programming as a means of representing semantics in design languages

Logic programming is discussed as a method for representing aspects of design language: descriptions of designs, domain knowledge, transformation rules (design grammar), and control mechanisms necessary to implement rules. The applicability of logic programming to the representation of semantics in design is also explored. Control at the semantic level provides a means of directing the automated generation of designs. Examples are drawn from a rule-based design system written in the logic programming language PROLOG.