< 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].
(1994-11-15)