-----------------------------------------------------------------
 (C)1995 Institute for New Generation Computer Technology
       (Read COPYRIGHT for detailed information.)
----------------------------------------------------------------- 
================================================================
      Parallel Constraint Logic Programing System GDCC 
          KLIC version (GDCC 4.0 version)
================================================================

 GDCC(KLIC version) is a parallel constraint logic programming 
language, which is highly declarative, flexible and efficient , 
and can deal with various constraints including non-linear 
polynomial equations. 


Environment
===========

Machine :     UNIX machine
Environment : KLIC,UNIX
Language :    KL1,C


Features
========

Parallel constraint logic programming system GDCC has 
various constraint solver libraries and the language processor which 
translates GDCC programs to KL1. To provide a more flexible and 
efficient language, GDCC parallelizes both logic language and constraint 
solvers. This system enables you to describe what(declarative knowledge) 
without how(procedural knowledge).


Function
========

1. Various constraint solvers
  The GDCC system has two parallel constraint solevrs: (1) an algebraic 
 constraint solver, (2) a boolean constraint solver. If you have to solve
 the other domain problem, you can construct the new constraint solver 
 within the interface rules of GDCC.

2. Block
  The block is the meta control mechanism that will provide the following 
 facilities: (1)to handle multiple environments, (2) to localize constraint
 failure, and (3)to specify a certain constraint set on evaluating a goal.

3. Two level parallelism
  GDCC provides a more flexible and efficient language by parallelizing 
 both the logic language and constraint solvers.

4. Finding real roots
  GDCC provides a facility that computes the real roots of the univariate 
 equations and returns all root combinations. 

GDCC programs are translated to KL1 by the language processor of GDCC and
then compiled and linked with the constraint solver library by C compiler.
Therefore GDCC became more portable and efficient.



The composition of directory
=============================

--------------------------------------------------------------------
   Directory               Contents
--------------------------------------------------------------------
 GDCC4.0/Alg        Sources of an algebraic constraint solver
        /Bignum     The interface program between 'GNU multiple 
                    precision arithmetic library' and KLIC 
        /Bool       Sources of an boolean constraint solver 
        /Doc        User's Manual
        /Parser     Sources of GDCC translator 
        /Sample     Sample programs
        /bin        "gdcc" command
--------------------------------------------------------------------


About Installation
==================

You need to prepare 'GNU multiple precision arithmetic library' and KLIC 
for installing GDCC system.  If you want to know about installation in detail,
 please refer the file 'INSTALL'.
