From: matthias.wimmer@in.tum.de   
      
   Hi there,   
      
   is anybody familiar with KIF? I can't get those goofy lists running. I   
   am using JTP. Is there another KIF reasoner?   
      
   One Problem:   
   (defrelation list (?x) :=   (exists (@l) (= ?x (listof @l))))   
      
   Received error:   
   line 1:38: unexpected token: @l   
   : expecting Vars, found ''   
      
      
   Thank you in advance   
   Matt   
      
   [ 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)