1  definition  found 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
 
  Charme 
 
  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) 
 
 

browse words by letter
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
or search   thesauri dictionary search words