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. Semantically
nondeterministic, with choice and backtracking, similar to Prolog. "Charme
Reference Manual", AI Development Centre, Bull, France 1990.
info: cras@bull.fr
Comments, Experience, Additions
Next Language: C+@