Knowledge base for elementary geometry

[bila...@gmail.com]

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 <com...@moderators.isc.org>, and ]
[ ask your news administrator to fix the problems with your system. ]