Explorations in core.logic