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.
Review
2006
Review
2006
Constraint Applications in Networks
  • H. Simonis
  • Handbook of Constraint Programming
  • 2006
  • Corpus ID: 1856336
Highly Cited
2004
Highly Cited
2004
Fuzzy Prolog: a new approach using soft constraints propagation
Highly Cited
2003
Highly Cited
2003
The ASM Refinement Method
  • E. Börger
  • Formal Aspects of Computing
  • 2003
  • Corpus ID: 18860092
In this paper the abstract state machine (ASM) refinement method is presented. Its characteristics compared to other refinement… 
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… 
Highly Cited
1997
Highly Cited
1997
A Declarative Debugging Scheme
  • L. Naish
  • Journal of Functional and Logic Programming
  • 1997
  • Corpus ID: 7389173
We present a very simple but flexible declarative debugging scheme. A Abstract-1 declarative debugger can be defined in Prolog… 
1996
1996
Analysis of Hybrid Systems in CLP(R)
  • L. Urbina
  • International Conference on Principles and…
  • 1996
  • Corpus ID: 36373525
This paper presents the formalization of the symbolic simulation and analysis technique for hybrid systems developed in [9, 7, 8… 
1995
1995
An Optimizing Compiler for CLP(R)
The considerable expressive power and flexibility gained by combining constraint programming with logic programming is not… 
1993
1993
Deeniteness Analysis for Clp(r)
Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and… 
1993
1993
Interval constraint satisfaction tool INC++
Numerical design and planning problems can often be formulated conveniently as a set of equations constraining the values of… 
1992
1992
An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs
Implementation technology for higher-order logic programming languages such as λProlog [17] and Elf [21] is still in its infancy… 
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)