Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,223,277 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Broader (3)
Constraint logic programming
Constraint programming
Logic programming
Generational list of programming languages
Prolog
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
S. Guadarrama
,
S. Muñoz-Hernández
,
Claudio Vaucheret
Fuzzy Sets Syst.
2004
Corpus ID: 30325909
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…
Expand
1998
1998
Early Projection in CLP(R)
Andreas Fordan
,
R. Yap
International Conference on Principles and…
1998
Corpus ID: 13351643
During the evaluation of a constraint logic program, many local variables become inaccessible, or dead. In Prolog and other…
Expand
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…
Expand
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…
Expand
1995
1995
An Optimizing Compiler for CLP(R)
Andrew D. Kelly
,
Andrew D. Macdonald
,
K. Marriott
,
H. Søndergaard
,
Peter James Stuckey
,
R. Yap
International Conference on Principles and…
1995
Corpus ID: 16247655
The considerable expressive power and flexibility gained by combining constraint programming with logic programming is not…
Expand
1993
1993
Deeniteness Analysis for Clp(r)
Naomi Baker
,
Harald Ssndergaard
1993
Corpus ID: 16859800
Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and…
Expand
1993
1993
Interval constraint satisfaction tool INC++
E. Hyvönen
,
S. D. Pascale
,
A. Lehtola
Proceedings of IEEE Conference on Tools with Al…
1993
Corpus ID: 13277433
Numerical design and planning problems can often be formulated conveniently as a set of equations constraining the values of…
Expand
1992
1992
An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs
S. Michaylov
,
F. Pfenning
1992
Corpus ID: 14643441
Implementation technology for higher-order logic programming languages such as λProlog [17] and Elf [21] is still in its infancy…
Expand
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)
ACCEPT & CONTINUE