rKanren: correct first example
rKanren: Fixed.