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
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|