Online Computer Dictionary

Browse words  |  Based on FOLDOC
e.g. C  agent  capacitor

Queried for: Charme  About Charme

Definition:

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].