Andrews, J. H. (1995), `Foundational issues in implementing constraint logic programming systems ', Science of Computer Programming 25(2 & 3), 117--148.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....within the constraint logic programming framework has been proposed in Fruhwirth (1995) In this work so called constraint handling rules (CHR) have been introduced. CHR are available as part of the ECL i PS e system and allow the user to define his her own constraint solvers. Next, in Andrews (1995) proof theoretic techniques are used to compare the intended theory and its actual implementation for various constraint logic programming systems. Further, a related to ours approach to constraint programming has been proposed in Wetzel, Kowalski Toni (1995) In this work constraint logic ....

Andrews, J. H. (1995), `Foundational issues in implementing constraint logic programming systems ', Science of Computer Programming 25(2 & 3), 117--148.

....(see e.g. 21] 1.2. Related Work A number of papers have advocated theorem proving as a means to account for various aspects constraint logic programming. In particular, in [8] a Gentzen style sequent calculus was used to develop a logical semantics of constraint logic programs and in [1] proof theoretic techniques were applied to compare the intended theory and its actual implementation for various constraint logic programming systems. Next, a proof theoretic approach to constraint propagation within the constraint logic programming framework has been proposed in [10] In this ....

J. H. Andrews. Foundational issues in implementing constraint logic programming systems. Science of Computer Programming, 25(2 & 3):117--148, 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC