Hacker News new | ask | show | jobs
by miltondts 1467 days ago
Not exactly Prolog, but there is miniKanren. You can check a list of implementations here: http://minikanren.org/#implementations