On Systematic Construction of Correct Logic Programs. - DRABENT, WŁODZIMIERZ (Theory & Practice of Logic Programming, 2025)