SWI-Prolog LaTeX to HTML translation for the documentation