You are here: irt.org | FOLDOC | Charme
<language, logic> 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)
Nearby terms: Charles Simonyi « CHARM « CHARM++ « Charme » CHARYBDIS » chase pointers » CHASM
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL