userguide.html.tgz
pl-5.7.11.tar.gz
SWI-Prolog-5.7.11.pdf