Charme
<language, logic, Bull, nondeterminism> 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].
| < Previous Terms | Terms Containing Charme | Next Terms > |
| charityware Charles Babbage Charles Simonyi CHARM CHARM++ | Charme | CHARYBDIS chase pointers CHASM chat chatbot |
