Update to latest core.logic with pldb