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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2006
Review
2006
  • Helmut Simonis
  • 2006
  • Corpus ID: 1856336
1998
1998
Constraint Logic Programming (CLP) languages extend logic programming by allowing the use of constraints from different domains… 
1996
1996
This paper presents the formalization of the symbolic simulation and analysis technique for hybrid systems developed in [9, 7, 8… 
1995
1995
The considerable expressive power and flexibility gained by combining constraint programming with logic programming is not… 
1993
1993
Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and… 
1993
1993
This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in… 
1993
1993
Constraint logic programming (CLP) languages allow natural and concise programming with constraints. In executing CLP languages… 
1992
1992
Implementation technology for higher-order logic programming languages such as λProlog [17] and Elf [21] is still in its infancy…