Return to CLIP Main Page

CIAO and Other CC Systems

• Input from other LP/CC systems:
  • CC: entailment-based synchronization.
  • NU-Prolog/Par NU-Prolog: transformation to delay declaration for support of CIAO on conventional systems.
  • AKL: encapsulation.
  • OZ: modules, applications of records.
  • Shared with QE-Janus: ``quiche eating'' implementation approach.
• Main differences:
  • ``Sequential by default'' vs. ``concurrent by default.''
  • Explicit concurrency (and parallelism) operators (``threads'').
  • Distributed implementation.
  • Extensive global analysis and optimization (e.g., automatic static parallelization, suspension reduction).
  • Designed to be portable to conventional LP/CLP systems.
• Other issues:
  • Active modules.
  • WWW interface.
  • Functions, HO, scripts, ...