add code from µKanren paper.

at least as far as i read it.