core.logic solution to the santas kata