The SWI-Prolog documentation system