Optimizing Ciao Compiler (OptimComp)OptimComp is the experimental branch of the Ciao compiler and engine that implements the techniques described in:
- Advanced Compilation Techniques for Logic Programming, Jose F. Morales, Ph.D. Thesis, July 2010.
Please consult the manual in this bundle for more details on usage, development and status.
Quick startOptimComp can be compiled from the Ciao Builder as follows:
$ ciaooc:buildYou may use the oc:tests command to test your build. E.g.,:
$ ciao oc:tests fullFor usage from a command-line you must setup up the environment for bash or csh:
$ eval `ciao oc:bash-env` # bash $ eval `ciao oc:csh-env` # cshAll the compilation files and binaries will be stored in the directory <CIAOROOT>/build/oc-cache. OptimComp should not leave any compiler output in the sources.