释义 |
DictionarySeecharmerCharme
Charme (language, logic, Bull, nondeterminism)A language withdiscrete combinatorial constraint logic aimed at industrialproblems such as planning and scheduling. Implemented inC at Bull in 1989.
Charme is an outgrowth of ideas from CHIP. It issemantically nondeterministic, with choice andbacktracking, similar to Prolog.
["Charme Reference Manual", AI Development Centre, Bull,France 1990].CHARME
Acronym | Definition |
---|
CHARME➣Correct Hardware and System-Level Design Methodologies |
|