visrahane / Assignment-3-First-Order-Inference

First Order Logic Resolution

Assignment-3-First-Order-Inference

First Order Logic Resolution.
For more information : https://github.com/visrahane/Assignment-3-First-Order-Inference/blob/master/hw3-csci561-f17.pdf