Full-First-Order-Resolution-Algorithm

Implemented a project for designing the use of resolution in full first order logic. The project has been implemented in successfully in Java and an efficient algorithm has been used for parsing the data and for unification.