SWI-Prolog documentation

SWI-Prolog package documentation