SWI-Prolog LaTeX to HTML translation for the documentation - View it on GitHub