ghci -cpp LogicStrategies.hs LogicRules.hs LogicGenerator.hs Logic.hs -i../../src/ -package QuickCheck-1.2.0.0