In pursuit of the holy grail

Constraint programming brings us closer to true declarative programming. Considerable progress has been made in this field; exciting challenges remain.