- Logic in computer science
- >
- Logic programming
- >
- Constraint programming
- >
- Constraint logic programming

- Mathematical logic
- >
- Logic in computer science
- >
- Logic programming
- >
- Constraint logic programming

- Mathematics of computing
- >
- Logic in computer science
- >
- Logic programming
- >
- Constraint logic programming

- Theoretical computer science
- >
- Logic in computer science
- >
- Logic programming
- >
- Constraint logic programming

CLP(R)

CLP(R) is a declarative programming language. It stands for constraint logic programming (Real) where real refers to the real numbers. It can be considered and is generally implemented as a superset o

Constraint logic programming

Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program

Constraint Handling Rules

Constraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry Research Centre (ECRC) in Munich, Ge

Concurrent constraint logic programming

Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction

BNR Prolog

BNR Prolog, also known as CLP(BNR) is a declarative constraint logic programming language based on relational interval arithmetic developed at Bell-Northern Research in the 1980s and 1990s. Embedding

CHIP (programming language)

CHIP (Constraint Handling in Prolog) is a constraint logic programming language developed by M. Dincbas, Pascal Van Hentenryck and colleagues in 1985 at the European Computer-Industry Research Centre

ECLiPSe

ECLiPSe is a software system for the development and deployment of Constraint Programming applications, e.g. in the areas of optimization, planning, scheduling, resource allocation, timetabling, trans

© 2023 Useful Links.