Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,130,151 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.
2013
2013
Analysis of Nonlinear Constraints in CLP ( R )
M. Hanus
2013
Corpus ID: 267943396
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic programming languages like CLP(R) or…
Expand
2011
2011
Programación declarativa cualificada con restricciones
C. A. Romero Díaz
2011
Corpus ID: 171025637
La incorporacion del razonamiento con incertidumbre a la programacion declarativa y, en especial, a la programacion logica ha…
Expand
2007
2007
Adapting CLP ( R ) To Floating-Point ArithmeticJ
Jimmy Ho-man Lee
,
M. H. van
,
EmdenLogic
2007
Corpus ID: 12410294
As a logic programming language, Prolog has shortcomings. One of the most serious of these is in arithmetic. CLP(R), though a…
Expand
2002
2002
A Simple General Implementation Using CLP(R)
Fuzzy Prolog
,
Claudio Vaucheret
,
S. Guadarrama
,
Susana Muñoz
2002
Corpus ID: 64189293
We present a definition of a Fuzzy Prolog Language that models interval-valued Fuzzy Logic, and subsumes former approaches…
Expand
1999
1999
An Ar hite ture and Prototype Implementation of aSystem for Individualised Work ows inMedi al Information SystemsJoxan
Joxan Ja ar
,
M. Maher
,
G. Neumann
1999
Corpus ID: 16477402
1996
1996
STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation
M. Handjieva
Sensors Applications Symposium
1996
Corpus ID: 9986118
Stan is an implementation of a static analysis for CLP ({ie383-02}) based on abstract interpretation. The semantics of the…
Expand
1996
1996
Designing Financial Swaps with CLP(R)
E. Tick
Applied Artificial Intelligence
1996
Corpus ID: 37223254
This article describes how to design and evaluate custom financial swaps using CLP(R), a constraint logic programming language…
Expand
1996
1996
A Comparison of the E ectiveness of Optimizationsin a CLP ( R )
Andrew D. Kelly
,
Andrew D. Macdonald
,
K. Marriott
,
Peter James Stuckey
,
R. Yap
1996
Corpus ID: 1821514
Constraint Logic Programming (CLP) languages extend logic programming by allowing constraints from diierent domains such as real…
Expand
1996
1996
Value Constraints in the Clp Scheme Value Constraints in the Clp Scheme
M. V. van Emden
1996
Corpus ID: 17060833
This paper addresses the question of how to incorporate constraint propagation into logic programming. A likely candidate is the…
Expand
1994
1994
Linear Constraint Solving in CLP-Languages
J. Imbert
Constraint Programming
1994
Corpus ID: 12797636
Linear constraint solving in Constraint Logic Programming languages rests on rewriting constraints under syntaxic forms. These…
Expand