It uses the MinGW port of GCC (GNU Compiler Collection) as its compiler.
Free Prolog compiler with constraint solving over finite domains
It is a set of tools providing a Linux look and feel environment for Windows.