@clarkgrubb I use the #erlang Prolog system github.com/rvirding/erlog from @rvirding and swipl.
Reply on news.ycombinator.com