The use of logic and AI techniques in the development of Internet applications has recently got the attention of the research community. Among other interesting problems, design and maintenance of Web site applications can benefit from logic descriptions and programming.
Our approach is based on the idea of separating site information content from its presentational form and deriving the Web site code from its content description via automated synthesis. Separation of content from visualisation aspects at early design stages is important in order to allow an appropriate description of the application and possibly different choices for presentation.
In this talk, the main focus is on the application description and code synthesis. The SSP Group Web Site is used as a working example to illustrate these ideas.