1989•Unpublished venueOpen access
Towards a compiler for a constraint language
Hans W. Guesgen
Open full text 0 citations
Abstract
For many engineering tasks, constraints are a useful knowledge representation formalism to specify functional relationships. In this paper, we describe a programming language based on constraints which, unlike former approaches, enables us to handle sets of possible values (rather than single values) and to filter them until consistent subsets are obtained that satisfy the constraints.
Open-access reader