<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].
Charles Simonyi « CHARM « CHARM++ « Charme »
CHARYBDIS » chase pointers » CHASM