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].
Last updated: 1994-11-15