Towards a geometry deductive database prover