charme

1 definition found

charme - Free On-line Dictionary of Computing (26 May 2007) :

  Charme
  
     <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)