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.