Welcome to GNU Prolog download site on ftp.gnu.org or its mirrors. You can find here source distributions (gprolog-version.tar.gz files). For our official GNU page please visit: //www.gnu.org/software/gprolog/ The main GNU Prolog site is at: //www.gprolog.org/ From this site you can find more information on GNU Prolog, an on-line manual, several precompiled versions and old versions. Thank you for using GNU Prolog.