By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions