The CIAO System
WS Presentations Main Page
Next: The CIAO Compiler
Up: Document: ciao
Previous: Document: ciao
- Functionality:
- Multi-paradigm compiler / programming environment.
- Supports the programming styles of LP (Prolog), CLP, CC,
Andorra,... (others being added: functions, higher order,...)
- Implementation approach:
- Implemented by compilation to a simple kernel language via
source to source transformations.
- Implements powerful compile-time optimizations.
- Performs global analysis.
- Supports parallelism and distributed execution.
- Can be used to compile (with different efficiency) to
different implementation platforms:
- The generic CIAO abstract machine (an enhancement of the
&-Prolog abstract machine)
- LP/CLP systems with delay primitives (and AKL)
Thu Jan 18 11:29:48 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>