added core.logic equivalents of transform-expression