From The Free On-line Dictionary of Computing (19 January 2023):
Charme
<language, logic> 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)