Automated Bias Shift in a Constrained Space for Logic Program Synthesis