[kata6] Document core.logic solution.