mayank19j / resolution-refutation-prolog Goto Github PK
View Code? Open in Web Editor NEWresolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.