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


Read Also:

  • Charmed

    marked by good fortune or privilege: a charmed life. Physics. (of a particle) having a nonzero value of charm. a power of pleasing or attracting, as through personality or beauty: charm of manner; the charm of a mountain lake. a trait or feature imparting this power. charms, attractiveness. a trinket to be worn on a […]

  • Charmed-circle

    an exclusive or privileged group: the charmed circle of concert violinists.

  • Charmed life

    An existence that seems protected by extreme good luck, as in Robert came out of that accident without a scratch; he must lead a charmed life. The adjective charmed once meant “magical,” which is no doubt what Shakespeare had in mind when he used the term in Macbeth (5:8): “Let fall thy blade on vulnerable […]

  • Charmed-particle

    See at charmed (def 2).

Disclaimer: Charme definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.