基于本体与Prolog的平面几何定理证明

Geometry Theorem Proving on Ontology and Prolog