miniKanren is great. Here[1]'s Will Byrd on the difference between it and Prolog.

[1] http://minikanren.org/minikanren-and-prolog.html