[__]

There's GNU Prolog (http://www.gprolog.org/) and YAProlog (http://www.ncc.up.pt/~vsc/Yap/downloads.html), which look semi-active.