ECLiPSe: Declarative Specification and Scaleable Implementation

Some years ago the vision of computer scientists was to enable end users to specify what they wanted, and leave it up to the computer how to work it out. Two important issues concerned the specification language in which end users could express their requirements, and the transformation of the specification into runnable code.