IC, 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)