Comparison of Prolog and miniKanren (2015)(stackoverflow.com)

http://stackoverflow.com/questions/28467011/what-are-the-main-technical-differences-between-prolog-and-minikanren-with-resp