On Constraint Programming

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.
ID Code:2078
Deposited By:Vicki Carleson
Deposited On:29 Sep 2009
Last Modified:18 Nov 2009 15:59

Repository Staff Only: item control page