charme

from The Free On-line Dictionary of Computing (8 July 2008)

Charme

   <language, logic, Bull, nondeterminism> A language with
   {discrete combinatorial constraint logic} aimed at industrial
   problems such as planning and {scheduling}.  Implemented in
   {C} at {Bull} in 1989.

   Charme is an outgrowth of ideas from {CHIP}.  It is
   semantically {nondeterministic}, with choice and
   {backtracking}, similar to {Prolog}.

   ["Charme Reference Manual", AI Development Centre, Bull,
   France 1990].

   (1994-11-15)