A conversions library using core.logic