I went ahead and asked him and here is what he said:

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