Comprehensive software program great to develop complex applications.
Free Prolog compiler with constraint solving over finite domains
It is an alternative to the Windows process manager with much more possibilites.