core.logic examples