Logic-For-Computer-Science Projects done in COL 703 - Logic for Computer Science, 2017 Scanning and Parsing P0 Resolution in Propositional Logic Resolution in First Order Logic