tool: CLP(R)
-
Language:
|
CLP (Constraint Logic Programming language) [Prolog variant]
|
|---|
-
Version:
|
1.2
|
|---|
-
Parts:
|
runtime, compiler(byte-code), contstraint solver
|
|---|
-
Author:
|
IBM
|
|---|
-
Location:
|
mail to Joxan Jaffar <joxan@watson.ibm.com>
|
|---|
-
Description:
|
CLP(R) is a constraint logic programming language
with real-arithmetic constraints. The implementation
contains a built-in constraint solver which deals
with linear arithmetic and contains a mechanism
for delaying nonlinear constraints until they become
linear. Since CLP(R) subsumes PROLOG, the system
is also usable as a general-purpose logic programming
language. There are also powerful facilities for
meta programming with constraints. Significant
CLP(R) applications have been published in diverse
areas such as molecular biology, finance, physical
modelling, etc. We are distributing CLP(R) in order
to help widen the use of constraint programming, and
to solicit feedback on the system
|
|---|
-
Restriction:
|
free for academic and research purposes only
|
|---|
-
Ports:
|
unix, msdos, OS/2
|
|---|
-
Contact:
|
Roland Yap <roland@bruce.cs.monash.edu.au>, Joxan Jaffar
|
|---|
-
Updated:
|
October 14th, 1992
|
|---|
category: logic programming languages
summary, or
expanded.
category: mathematical tools and languages
summary, or
expanded.
|
|