Text this: On Systematic Construction of Correct Logic Programs.