../ gprolog_1.2.18.orig.tar.gz 16-Jun-2003 15:02 875K manual-html.tar.gz 31-Jul-2003 12:19 155K manual.pdf.gz 31-Jul-2003 12:19 683K