A logic logic engine.