Prolog with core.logic