Other developments

• ACE: combining MUSE and &-Prolog [Being developed by New Mexico S.U. and UPM]

• Andorra-I: uses determinacy as the independence principle.

• David Warren's Extended Andorra Model - adding independent and parallelism to Andorra-I.
  • With implicit control.
  • With explicit control: AKL [Janson, Haridi]

• OZ [Smolka]: shares much with AKL; includes higher-order, objects, search combinators, ...

• Fine-grained compile-time parallelization (``local indep'' [Bueno et al 1994])

• CIAO: Concurrent Constraint Independent And/Or-Parallel Prolog [UPM]
  • Non-deterministic concurrent constraint language.
  • Subsumes Prolog, CLP, CC (+Andorra via transformation).
  • Driver system for several needed technologies.
  • Generic (RISC-like) implementation.
  • Analysis and optimization of CC also supported.
  (support for constraints and concurrency done in ACCLAIM)

• Distributed systems:
  • Significant progress made (e.g. UCM work and CIAO).
  • Upcoming distributed version of ECLIPSE.
  • Vital component: granularity control.