Learn core.logic with koans!