Constraint-based Document Presentation

: Constraint-based programming has been used for a wide variety of applications where declarative specification and general solution mechanisms are desirable. This paper describes a prototype document preparation system, Ensemble-C, that utilizes constraint satisfaction as a mechanism for presentation maintenance and incremental formatting. The goal of the overall Ensemble project is the integration of a wide variety of media, including computer programs and dynamic media such as sound and animation, into a coherent framework that provides incremental formatting, multiple-representation editing, and separate structure and presentation specification.