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.
-
Notifications
You must be signed in to change notification settings - Fork 3
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.
tirthmehta/Full-First-Order-Resolution-Algorithm
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
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.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published