cljs.core.logic pldb wip