Your vote:
Free Prolog compiler with constraint solving over finite domains
The Flash Programming Utilities allow you to download your code to a device.
Provides a complete Unix-like programming environment for the Windows OS.
