M. Lenart, P. Padawitz, A. Paszlor
This paper describes a third, logic-based approach emphasizing the cognitive character of the creative process. This new approach has the following distinctive features: Parameters, goals, constraints and solutions are represented as sentences of Horn logic with equality. High-level programming is carried out in a functional language so that testing and verification is supported by a corresponding prototyping system like Expander, which tailored to evaluating the theory of functional and logic programs and their data types. Creative solutions emerge not only by new search strategies, but also by redefining the search space and thus the data structures used. The specification method supports encapsulation, modular decomposition, hierarchical structuring and reusability.