CLP(R) Version 1.1 
Author Message
 CLP(R) Version 1.1

------------------
CLP(R) Version 1.1
------------------

We wish to announce the release of a new version of IBM's prototype
implementation of CLP(R).  This system is available for academic and
research purposes only, and is provided free of charge.  The source
code contains a disclaimer and user agreement.  It is being distributed
to help widen the use of constraint programming, and to solicit
feedback on the system.  Requests for the (preferably electronic
delivery of the) system should be sent to:

     Joxan Jaffar, H1-D48
     IBM Thomas J. Watson Research Center
     P.O. Box 704
     Yorktown Heights, NY 10598
     U.S.A.

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.  One main advance of version 1.1 over the previous version 1.0
is the inclusion of 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.

The system, consisting of a compiler, byte-code emulator and constraint
solver, is written entirely in C.  It has been known to run on a number
of machines: Suns, Vaxen, MIPS-based machines (Decstations, Silicon
Graphics), IBM RS6000s and PS2s, using a number of UNIX[tm]-based
operating systems: AIX, System 5, BSD, Mach and SunOS.

* UNIX is a trade-mark of AT&T Bell Laboratories.



Wed, 27 Apr 1994 03:06:50 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. WINWORD PREVIEWER version 1.1

2. RSBackUp version 1.1 released

3. Difference between version 1.1 & 1.5 of dBase

4. DBF_Y2K.EXE version 1.1

5. ANNOUNCE: Helium, for Learning Haskell, version 1.1

6. The Language List, Version 1.1

7. Professional Version 1.1

8. Harlequin Dylan Version 1.1

9. PowerMac Oberon V4 Version 1.1

10. Anouncing WEX Version 1.1

11. MAS version 1.1 - object-oriented financial analysis software

12. ExtensionClass Version 1.1

 

 
Powered by phpBB® Forum Software