What is left to do with the Technical Interview?

I have yet to see anything more horrifyingly beautiful (or, beautifully horrifying) like this: μkanren in lisp in prolog ?!!

https://gist.github.com/aphyr/4d41e7655b10a68e753f729bdc1c5a...