Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,356,356 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
Helmut 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
1998
1998
Optimizing compilation of CLP( R )
Andrew D. Kelly
,
K. Marriott
,
Andrew D. Macdonald
,
Peter James Stuckey
,
R. Yap
TOPL
1998
Corpus ID: 2194682
Constraint Logic Programming (CLP) languages extend logic programming by allowing the use of constraints from different domains…
Expand
1998
1998
Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming
J. Jaffar
1998
Corpus ID: 208048886
1996
1996
Analysis of Hybrid Systems in CLP(R)
Luis 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
,
H. Ssndergaard
1993
Corpus ID: 16859800
Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and…
Expand
1993
1993
A Practical Approach to the Global Analysis of CLP Programs
M. G. D. L. Banda
,
M. Hermenegildo
ILPS
1993
Corpus ID: 2619133
This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in…
Expand
1993
1993
Redundancy of Variables in CLP (R)
Andrew D. Macdonald
,
Peter James Stuckey
,
R. Yap
ILPS
1993
Corpus ID: 18198179
Constraint logic programming (CLP) languages allow natural and concise programming with constraints. In executing CLP languages…
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