About

An inference engine that takes a Knowledge Base of size M and N queries in CNF ( Conjunctive Normal Form ) and outputs the truth of the given queires ( True/False )