aparna0522 / first-order-logic-using-resolution-method Goto Github PK
View Code? Open in Web Editor NEWDecide the given statement is True or False depending on the given knowledge base, restricted to "For All" Statements. The Algorithm converts the given knowledge base into Resolution tree, and using the proof of restitution, we decide if the given statement is true or false.