Logical Reasoning Algorithms on FusePop