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)