[miltondts]

Not exactly Prolog, but there is miniKanren. You can check a list of implementations here: http://minikanren.org/#implementations