A library for unobtrusively instrumenting core.logic goals.