Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,263,156 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
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
1995
1995
Symbolic Discrete-Event Simulation
Sanjai Narain
,
Ritu Chadha
1995
Corpus ID: 18986880
The event-scheduling view of the discrete-event simulation technique is widely used to model and simulate dynamic systems. This…
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
1993
1993
A method for translating CLP(R) rules into objects
Tang Yu
,
J. Juang
Proceedings of IEEE Conference on Tools with Al…
1993
Corpus ID: 10195277
A method translating CLP(R) rules into object classes of OOP is presented. Operationally, the original inference process is…
Expand
1993
1993
Generalized Redundant Inequalities in CLP ( R )
Spiro MichaylovDepartment
1993
Corpus ID: 14443982
Future redundant inequalities in a CLP(R) program are those that are guaranteed to be subsumed after no more than one subsequent…
Expand