CHARME


Meaning of CHARME in English

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

(1994-11-15)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.