Using Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming