Your vote:
Free Prolog compiler with constraint solving over finite domains
Integrated development environment for Scheme.