%
%   (C) 1992 Institute for New Generation Computer Technology
%
%   (Read COPYRIGHT for detailed information.)


		Constraint Logic Programming Language:
        	    	    CAL in ESP



Overview
 CAL is a sequential constraint logic programming language which can 
deal with various constraints including non-linear polynomial 
equations.

Characteristics
 Constraint logic programming(CLP)is a scheme of programming language 
with the following features:
    * natural, declarative semantics.
    * clear operational semantics that coincides with the declarative 
      semantics.

 This system gives a CLP language CAL and the environment for CAL user.

 In CAL system, you can use Context. A context is a constraint set. 
 A new context is created whenever the constraint set is changed. The 
 history of changing contexts is manipulated by the Context Tree, and 
 Current Context is the target of the context manipulation. You can 
 set a context on the context tree arbitrarily as the current context.

Function:

1.Finding real roots:
    The query "find" computes real roots of the univariate equations 
   and returns one solution. The user can obtain other solutions by 
   backtrack, and branches of the context tree are created.
2.Context:
    CAL system manipulates the history of changing context by the 
   context tree. And you can set a context on the context tree 
   arbitrarily as the current context(the target of the context 
   manipulation).
3.Various constraint solvers:
    CAL system has 4 constraint solvers,
    (1) Algebraic constraint solver
    (2) Boolean constraint solver
    (3) Linear constraint solver
    (4) Set constraint solver
    The user can specify one of these solvers.

Environment of execution
 To execute this system, SIMPOS Ver.7 must be running on your PSI.

Files
INSTALL	    	    Install Manual
INSTALL.j   	    Install Manual(Japanese)
README	    	    This file
README.j    	    This file (Japanese)
cal2.12	    	    CAL source (directory)
cal_jman    	    CAL Japanese manual (directory)
cal_man	    	    CAL manual (directory)
deb2.12	    	    CAL debugger source (directory)
deb_jman    	    CAL debugger manual (directory)

cal2.12:
alg210.slv  	    ESP source file (Japanese comment)
astree.esp  	    ESP source file (Japanese comment)
astrnd.esp  	    ESP source file (Japanese comment)
bool210.slv 	    ESP source file (Japanese comment)
cal.init    	    ESP source file (Japanese comment)
cal_pmacs.esp	    ESP source file (Japanese comment)
cal_process.esp	    ESP source file (Japanese comment)
ccmenu.esp  	    ESP source file (Japanese comment)
ccwindow.esp	    ESP source file (Japanese comment)
context.esp 	    ESP source file (Japanese comment)
control.esp 	    ESP source file (Japanese comment)
cpwindow.esp	    ESP source file (Japanese comment)
ctree.esp   	    ESP source file (Japanese comment)
ctree_p.esp 	    ESP source file (Japanese comment)
ctree_window.esp    ESP source file (Japanese comment)
cwindow.esp 	    ESP source file (Japanese comment)
file.esp    	    ESP source file (Japanese comment)
find210.esp 	    ESP source file (Japanese comment)
graph.esp   	    ESP source file (Japanese comment)
graph_control.esp   ESP source file (Japanese comment)
graph_macro.esp	    ESP source file (Japanese comment)
gritem.esp  	    ESP source file (Japanese comment)
grmenu.esp  	    ESP source file (Japanese comment)
long210.esp 	    ESP source file (Japanese comment)
pre210.esp  	    ESP source file (Japanese comment)
prolog.esp  	    ESP source file (Japanese comment)
scawin.esp  	    ESP source file (Japanese comment)
sccmds.esp  	    ESP source file (Japanese comment)
scview.esp  	    ESP source file (Japanese comment)
scwind.esp  	    ESP source file (Japanese comment)
setgb.slv   	    ESP source file (Japanese comment)
smplx210.slv	    ESP source file (Japanese comment)
smplx3210.slv	    ESP source file (Japanese comment)
solver.slv  	    ESP source file (Japanese comment)
solver_menu.esp	    ESP source file (Japanese comment)
translate.esp	    ESP source file (Japanese comment)
trmenu.esp  	    ESP source file (Japanese comment)
trnode.esp  	    ESP source file (Japanese comment)
tsmenu.esp  	    ESP source file (Japanese comment)

cal_jman:
cal2.10.eps 	    EPS file
calmenu.eps 	    EPS file
man2.10.tex 	    jlatex file (Japanese)
zu1.tex	    	    jlatex file (Japanese)
zu2.tex	    	    jlatex file (Japanese)
zu3.tex	    	    jlatex file (Japanese)
zu4.tex	    	    jlatex file (Japanese)
zu5.tex	    	    jlatex file (Japanese)
zu6.tex	    	    jlatex file (Japanese)
zu7.tex	    	    jlatex file (Japanese)
zu8.tex	    	    jlatex file (Japanese)

cal_man:
Fig1.ps	    	    EPS file
Fig10.ps    	    EPS file
Fig11.ps    	    EPS file
Fig12.ps    	    EPS file
Fig13.ps    	    EPS file
Fig14.ps    	    EPS file
Fig2.ps	    	    EPS file
Fig3.ps	    	    EPS file
Fig4.ps	    	    EPS file
Fig5.ps	    	    EPS file
Fig6.ps	    	    EPS file
Fig7.ps	    	    EPS file
Fig8.ps	    	    EPS file
Fig9.ps	    	    EPS file
jsccal1cr.tex	    jlatex file
lang_spec_revised.tex
    	    	    jlatex file
mybibs.bib  	    bib file
users_manual.tex    jlatex file

deb2.12:
break.esp   	    ESP source file (Japanese comment)
cm.esp	    	    ESP source file (Japanese comment)
create.esp  	    ESP source file (Japanese comment)
deb.esp	    	    ESP source file (Japanese comment)
deb_cont.esp	    ESP source file (Japanese comment)
dedit.esp   	    ESP source file (Japanese comment)
dmenu.esp   	    ESP source file (Japanese comment)
entry.esp   	    ESP source file (Japanese comment)
gmenu.esp   	    ESP source file (Japanese comment)
info.esp    	    ESP source file (Japanese comment)
init.esp    	    ESP source file (Japanese comment)
input.esp   	    ESP source file (Japanese comment)
install.esp 	    ESP source file (Japanese comment)
io.esp	    	    ESP source file (Japanese comment)
kernel.esp  	    ESP source file (Japanese comment)
modify.esp  	    ESP source file (Japanese comment)
opmenu.esp  	    ESP source file (Japanese comment)
output.esp  	    ESP source file (Japanese comment)
place.esp   	    ESP source file (Japanese comment)
pmod.esp    	    ESP source file (Japanese comment)
purs.esp    	    ESP source file (Japanese comment)
save.esp    	    ESP source file (Japanese comment)
stat.esp    	    ESP source file (Japanese comment)
util.esp    	    ESP source file (Japanese comment)
var.esp	    	    ESP source file (Japanese comment)
windows.esp 	    ESP source file (Japanese comment)
winpar.esp  	    ESP source file (Japanese comment)
    
deb_jman:   
debug.tex   	    jlatex file (Japanese)
zu1.tex	    	    jlatex file (Japanese)
zu2.tex	    	    jlatex file (Japanese)
zu3.tex	    	    jlatex file (Japanese)
zu5.tex	    	    jlatex file (Japanese)
zu6.tex	    	    jlatex file (Japanese)


How to Install
 Create the "contrainte" package and  the "contrainte" package 
environment that inherits the package "contrainte" and "simpos".
 Next, create the "cal_user" package whose package environment is  
"contrainte". 
 Set "contrainte" as current package, and catalog and 
save "*.esp".
 Please see the INSTALL file for more detail.
