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].
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 […]
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 […]
See at charmed (def 2).