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

Related topics

Related topics

4 relations

Broader (3)

Constraint logic programmingConstraint programmingLogic programming
Prolog

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Adapting CLP ( R ) To Floating-Point ArithmeticJ
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
Early Projection in CLP(R)
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
Optimizing Compilation of CLP(R)
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
Meta-Programming in CLP(R)
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
Inferring Argument Size Relationships with CLP(R)
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
QUAD-CLP(R): Adding the Power of Quadratic Constraints
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
CLP(F) and Constrained ODEs
  • 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
Deeniteness Analysis for Clp(r)
Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and… (More)
Is this relevant?
1993
1993
Analysis of Nonlinear Constraints in CLP(R)
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
Some Global Compile-Time Optimizations for CLP(R)
Generation of eecient code for constraint logic programming (CLP) languages poses new problems. It is not yet clear which… (More)
Is this relevant?