Download Mirror 1 ( 4.80 MB)
Download Mirror 2 ( 4.80 MB)
GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone.