Charme

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)