GNU Prolog for Windows (x32 bit) 1.5.0 screenshot GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. Download GNU Prolog for Windows (x32 bit) 1.5.0