Move main.py and core.py to dfs directory
Init Resolution in Propositional Logic