Mathieu, Philippe and Keisu, Torbjörn (1990) On Constraint Programming. [SICS Report]
This short note aims to present foundations for constraint logic programming. By logic programming, we understand in this paper the PROLOG paradigm. But it will be clear that we do reduce the problem to adding a new package to PROLOG. We argue that constraint logic programming should be defined as a new paradigm for programming: the LOGIC PROGRAMMING + SYMBOLIC COMPUTATION paradigm. Our system incorporates as a very basic, all the existing systems incorporating constraints in a logic environment.
|Item Type:||SICS Report|
|Additional Information:||Original report number R90001.|
|Deposited By:||Vicki Carleson|
|Deposited On:||29 Sep 2009|
|Last Modified:||18 Nov 2009 15:59|
Repository Staff Only: item control page