Long time fan. Great docs. And a 'native' Prolog interpreter: http://software-lab.de/doc/ref.html#pilog