Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Für die Entstehung von Lippen-Kiefer-Gaumen-Spalten bzw. isolierten medianen Gaumenspalten wird ein multifaktoriell genetisches… Expand
Review
2006
Review
2006
  • H. Simonis
  • Handbook of Constraint Programming
  • 2006
  • Corpus ID: 1856336
Publisher Summary This chapter discusses the use of constraint programming (CP) for network applications. Network problems that… Expand
  • figure 1
Highly Cited
2003
Highly Cited
2003
  • 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
  • figure 1
  • figure 2
1998
1998
During the evaluation of a constraint logic program, many local variables become inaccessible, or dead. In Prolog and other… Expand
  • figure 1
Highly Cited
1997
Highly Cited
1997
  • L. Naish
  • J. Funct. Log. Program.
  • 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
  • figure 1
  • figure 4
  • figure 7
  • figure 10
1996
1996
This paper presents the formalization of the symbolic simulation and analysis technique for hybrid systems developed in [9, 7, 8… Expand
1995
1995
The considerable expressive power and flexibility gained by combining constraint programming with logic programming is not… Expand
1993
1993
Constraint logic programming (CLP) languages generalise logic programming languages, amalgamating logic programming and… Expand
1993
1993
Solving nonlinear constraints over real numbers is a complex problem. Hence constraint logic programming languages like CLP(R) or… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
1992
1992
Implementation technology for higher-order logic programming languages such as λProlog [17] and Elf [21] is still in its infancy… Expand
  • figure 1
  • figure 2
  • figure 3