Charme(ID:1462/cha008)

Bull, 1989.

A language with discrete combinatorial constraint logic aimed at industrial problems such as planning and scheduling. Implemented in C. An outgrowth of ideas from CHIP. Semantically nondeterministic, with choice and backtracking, similar to Prolog.
Related languages
CHIP => Charme   Evolution of
References:
  • "Charme Reference Manual", AI Development Centre, Bull, France 1990. view details
    Resources
    • info
      i