CLOP source code and examples (15.03.99)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Contained in this directory is the source code and examples 
for the List-Processing Optimizer for Curry prototype (Version 0.99).

To run the prototype:
 
1) Execute the Curry2prolog system:

bash-2.01$ curry2prolog

2) Load the prototype:

prelude> :l clop

3) As the optimizer is fully automatic, the user only needs to specify the target program where to apply the transformations:

clop> main "sumfrom" 


The result program is shown in Flat-Curry syntax, and it is overwritten  the file ".flat" of the target program.


The mechanisms used for the optimizer and the implementation of the prototype are described in the papers 
``List-Processing Optimizations in a Multi-Paradigm Declarative Language" and "A List-Processing Optimizer for Curry".
These papers can both be obtained as Postscript from:
   http://www.dsic.upv.es/users/elp/papers.html