Users interested in Prolog software 64bit for windows 8 generally download:
Develop codes combining the very best features of logical, functional and object-oriented programming paradigms in a consistent and elegant way. Build applications for Microsoft Windows 32 and 64 bit platforms. The suite supports advanced client-server and three-tier solutions.
GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging