Charme definition language, logic, Bull, nondeterminism
A language with discrete combinatorial constraint logic aimed at industrial problems such as planning and scheduling
. Implemented in C
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].