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

随便看

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。