Write code using a high-level programming language.
Command-line spell checking utility.
Free Prolog compiler with constraint solving over finite domains
