Source : Free On-Line Dictionary of Computing

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