Yeah the Prolog part would probably have to just do a yes/no analysis of whether the proposed solution is even a candidate, but then maybe something else would score the quality of the remaining candidates.