/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 Java and an efficient algorithm has been used for parsing the data and for unification.

Primary LanguageJava

Watchers