Write code using a high-level programming language.
Free Prolog compiler with constraint solving over finite domains
Provides a complete Unix-like programming environment for the Windows OS.
