CLP(R)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
- 2007
As a logic programming language, Prolog has shortcomings. One of the most serious of these is in arithmetic. CLP(R), though a… (More)
Is this relevant?
1998
1998
- CP
- 1998
During the evaluation of a constraint logic program, many local variables become inaccessible, or dead. In Prolog and other… (More)
Is this relevant?
1998
1998
- ACM Trans. Program. Lang. Syst.
- 1998
Constraint Logic Programming (CLP) languages extend logic programming by allowing the use of constraints from different domains… (More)
Is this relevant?
1997
1997
- J. Log. Program.
- 1997
A widely used property of Prolog is that it is possible to write Prolog programs to construct and manipulate other Prolog… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
- LOPSTR
- 1996
If you believe this document infringes copyright then please contact the KAR admin team with the take-down information provided… (More)
Is this relevant?
1994
1994
- PPCP
- 1994
We report on a new way of handling non-linear arithmetic constraints and its implementation into the QUAD-CLP(R) language… (More)
Is this relevant?
1994
1994
- 1994
In this paper we present a preliminary report on the new language , CLP(F), which is a constraint logic programming language… (More)
Is this relevant?
1993
1993
- 1993
Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and… (More)
Is this relevant?
1993
1993
- ICLP
- 1993
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic programming languages like CLP(R) or… (More)
Is this relevant?
1991
1991
- ISLP
- 1991
Generation of eecient code for constraint logic programming (CLP) languages poses new problems. It is not yet clear which… (More)
Is this relevant?