From: haberg@math.su.se   
      
   In article <444ec059$1@news.unimelb.edu.au>, LSunanda@gmail.com wrote:   
      
   > I am looking for an efficient implementation of Unification algorithm   
   > in C/C++ for my research. No functional languages please.   
   > I would appreciate any kind of help.   
      
   You might take the Mini-Prolog that comes with Hugs   
   , which already is OO, and translate it into C++.   
   (Prolog uses unification for clause head matching.)   
      
   --   
     Hans Aberg   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)