News: Markus Triska earned his PhD with his clp(fd) implementationSearch Documentation:
SWI-Prolog owl logoBuilding SWI-Prolog on MS-Windows

As of version 6.1.7, there are two options for building SWI-Prolog for MS-Windows. The distributed binaries are compiled using MinGW. To be precise, they are generated using the MinGW cross-compiler on a Linux system.