Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations

Broader (3)

Constraint logic programmingConstraint programmingLogic programming
Generational list of programming languagesProlog

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… 
2004
2004
Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level
Theoretical issues of computer science are traditionally taught in a way that presupposes a solid mathematical background and are… 
2001
2001
Parametric Sequence Alignment with Constraints
Approximate matching techniques based on string alignment are important tools for investigating similarities between strings… 
1998
1998
Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming
1995
1995
CLAM specification for provably correct compilation of CLP( R ) programs
The paper extends the correctness proof in 4] for compilation of Prolog programs on the WAM to CLP(R) programs on the Constraint… 
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… 
1993
1993
Redundancy of Variables in CLP (R)
Constraint logic programming (CLP) languages allow natural and concise programming with constraints. In executing CLP languages… 
1991
1991
Model-Based Analogue Circuit Diagnosis with CLP(R)
Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and… 
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… 
Review
1991
Review
1991
The CLP(R) language and system: an overview
The basics of the CLP(R) language are reviewed, and some important programming techniques are described. A brief overview of the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)