The CIAO System

• 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)