Abstract
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.

This publication has 2 references indexed in Scilit: