Comprehensive software program great to develop complex applications.
Free Prolog compiler with constraint solving over finite domains
Julia is a high-level dynamic programming language for technical computing.