*********************************************************************

		Constraint Logic Programming Languages
			CAL written in CESP

                        README

*********************************************************************

1. About this software

This software "Constraint Logic Programming Languages:CAL CESP version"
is a CAL language system on the UNIX machine.

"Constraint Logic Programming Languages:CAL" is a Language system which 
realize high level programming using new programming paradigm "constraint
 login programming".Using this language,you can write a program without 
finding a method to solve the problem.

CAL has facility to solve constraint of
    (a) non-linear algebraic equations
    (b) boolean equations
    (c) linear-equation and inequalities
    (d) finite co-finite set

And it has a multiple environment manipulator called 'Context tree Window 
system' for add/delete constraints.
For non-linear algebraic equations,it has a function to calculate real-
root of uni-variate equation on 'back tracking base'.The real-root can be
 treated with context.

2. Environment

It needs the follow system environment to execute CAL language system.

(a)UNIX machine 
(b)Emacs CESP 
(c)C language compiler 
(d)GNU MP
(e)Free disk area more than 50Mbyte
(f)Memory more than 16Mbyte

3. Files

See a file 'FILES'.

4. Install

Using CESP librarian command ,you can install CAL easily.

(a) Decode cal.package.tar.Z by uncompress and tar.
(b) Run cal.comp.com , command file for compilation saving.

See the document file 'INSTALL'.

5. references

  A. Aiba, K. Sakai, Y. Sato, D. J. Hawley, and R. Hasegawa:
  Constraint Logic Programming Language CAL. In Proceedings of the
  International Conference on Fifth Generation Computer Systems 1988,
  November 1988.

  Contrainte Avec Logique version 2.12 User's manual
  Institute for New Generation Computer Technology,
  in preparation.
