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.
tirthmehta / full-first-order-resolution-algorithm Goto Github PK
View Code? Open in Web Editor NEWImplemented a project for designing the use of resolution in full first order logic. The project has been implemented in Java and an efficient algorithm has been used for parsing the data and for unification.