In a typical algorithmic language such as Fortran or Pascal a program is a sequence of steps for the language interpreter to follow to achieve a desired result. In a constraint language a program is a set of relationships, called constraints, that describe the desired result. It is up to the language interpreter to determine the steps required to satisfy the constraints and achieve the result.
/lp/association-for-computing-machinery/constraint-languages-for-computer-aided-design-i6g0IXlpoX