Tweaks on backwards chaining. CNF parsing for First-order logic, still not the best thing possible. A not-so-modest refactoring