From: ted.dunning@gmail.com   
      
   I think that you will find that doing this sort of work in a language   
   with a more usable memory management system will make your work vastly   
   easier.  If you are wedded to the C family, try Java.  You should be   
   able to directly translate the standard binding list version of   
   unification to Java in minutes.  Alternately, a destructive update   
   version is also pretty trivial to implement.   
      
   All that said, unification is only a dozen lines of code in lisp and   
   shouldn't more than triple that in C.  Why not write your own from all   
   the many, many definitions of the algorithm that you will find in any   
   textbook on the subject?  Norvig even has a nice note on the topic in   
   his book (complete with source code for an association list based   
   version).   
      
   [ 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)