CHARME
\t͡ʃˈɑːm], \tʃˈɑːm], \tʃ_ˈɑː_m]\
Sort: Oldest first
-
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].
By Denis Howe