Comprehensive software program great to develop complex applications.
Free Prolog compiler with constraint solving over finite domains
Open source, full-featured implementation of the powerful Smalltalk.
