order-resolution-algorithm

Here is 1 public repository matching this topic...

tirthmehta / 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.

java resolution parsing unification efficient-algorithm order-resolution-algorithm

Updated Jun 23, 2018
Java

Improve this page

Add a description, image, and links to the order-resolution-algorithm topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the order-resolution-algorithm topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

order-resolution-algorithm

Here is 1 public repository matching this topic...

tirthmehta / Full-First-Order-Resolution-Algorithm

Improve this page

Add this topic to your repo