Charme

Bull, 1989

A language with discrete combinatorial constraint logic aimed at industrial problems such as planning and scheduling. Implemented in C. An outgrowth of ideas from CHIP[2]. Semantically nondeterministic, with choice and backtracking, similar to Prolog.

"Charme Reference Manual", AI Development Centre, Bull, France 1990.