core.logic version update