Hello,   
      
   I want to design a knowedge-based system that is able to solve   
   elemetary geometric problems about triangles.   
   The knowedge base should contain many elementary geometric theorems   
   such as "If two lines are perpendicular to one common line they are   
   parallel", and so on.   
   I found many researches on the Internet, most of which use the   
   Algebraic Method.   
   I want a Deductive system that is able to generate human readable   
   proof.   
   I want to use either Prolog or CLIPS to implement the system.   
      
   I'm facing problems in the representation (should a line be defined by   
   two points, ...).   
      
   Can anyone refer me to some resources or previous work?   
      
   [ 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)