From: rjones@soartech.com   
      
   persres@googlemail.com wrote:   
   > Hello everyone,   
   >        I  am looking for a very powerful system for representing   
   > knowledge using first order logic rules. Basically, a concept would be   
   > represented by a set of rules (represented in first order logic).   
   > There will be a rule based engine which would be able to do reasoning   
   > on the knowledge base. I hope I am able to explain myself clearly   
   > enough.   
   >   
   > Are there any commercially/freely available systems out there that can   
   > capture first order logic and also reasoning.    I would prefer freely   
   > available ones. Its for student projects.   
   >   
   > I would like to give the system a set of first order triplets as   
   > axioms and a set of deduction rules.   
   > Given a theorem it should give a proof.   
   >   
   > I need to do a prototype for some small domain like say, basic high   
   > school algebra. I am hoping there are theorem proving systems or some   
   > packages based on prolog etc which can help me do this in a few months   
   > time.   
   >   
   > Thanks for your help.   
      
   Here are some candidates...   
      
   http://sitemaker.umich.edu/soar/home   
      
   http://www.jessrules.com/jess/index.shtml   
      
   http://www.gnu.org/software/gprolog/gprolog.html   
      
   [ comp.ai is moderated ... your article may take a while to appear. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)