CLP(R)

Known as: CLP, Constraint logic programming (Real) 
CLP(R) is a declarative programming language. It stands for Constraint logic programming (Real) where real refers to the real numbers. It can be… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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
During the evaluation of a constraint logic program, many local variables become inaccessible, or dead. In Prolog and other… (More)
  • figure 1
Is this relevant?
1998
1998
Constraint Logic Programming (CLP) languages extend logic programming by allowing the use of constraints from different domains… (More)
  • figure 2
  • figure 3
  • figure 4
  • table I
  • table II
Is this relevant?
1997
1997
A widely used property of Prolog is that it is possible to write Prolog programs to construct and manipulate other Prolog… (More)
  • figure 9
  • figure 10
Is this relevant?
Highly Cited
1996
Highly Cited
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
We report on a new way of handling non-linear arithmetic constraints and its implementation into the QUAD-CLP(R) language… (More)
  • figure 1
  • figure 2
Is this relevant?
1994
1994
  • ODEsTimothy J. Hickey
  • 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
Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and… (More)
Is this relevant?
1993
1993
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic programming languages like CLP(R) or… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1991
1991
Generation of eecient code for constraint logic programming (CLP) languages poses new problems. It is not yet clear which… (More)
Is this relevant?