One of the most basic problems scientist need and want to solve using computers is, the process of solving mathematical problems. While addition, subtraction and multiplication seem fairly easy calculations to do, as one dives into mathematics and the calculations advance, the problems become more and more thought depleting. In this sense, having a system with the ability to solve mathematical problems varying in discipline and structure, would be nice to have. For example, in geometry in most cases calculations are part base and a combination of functional and logic programming for the implementation. The first step, from our perception, was to create a machine-readable language in which we could describe the Euclid's theorems. After that, we used this language to generate the theorems' constructions. Then we generated all possible premises needed for a relevant conclusion, given the construction.