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:
$ ciao oc:buildOptimComp does out-of-tree builds. Compilation files and binaries are stored at <CIAOROOT>/build/oc-cache.
- Run and compile hw (standalone)
ciao oc:comp --bootstrap hw hw && ciao oc:car-build hw.car hw.car/run
- Run and compile hw (dynamic executable)
ciao oc:comp --dynexec hw hw ./hw
OptimComp test suiteYou may use the oc:tests command to test your build. E.g.,:
$ ciao oc:tests full