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

Related Items

category: logic programming languages summary, or expanded.

category: mathematical tools and languages summary, or expanded.


This site is supported by David Sharnoff and Bryan Miller with some help from Google Adwords.

Please send updates to free-compilers@sharnoff.org

The HTML is maintained by David Muir Sharnoff and the entries themselves are currently maintained by Bryan Miller.

Copyright (c) 1992-1998 David Muir Sharnoff, All Rights Reserved
Copyright (c) 1994-1996, Steven Allen Robenalt, All Rights Reserved
Copyright (c) 1999-2010 David Muir Sharnoff, Bryan Miller, All Rights Reserved