Comprehensive software program great to develop complex applications.
Free Prolog compiler with constraint solving over finite domains
Used for Desktop GUI application development.
Specially designed for education.
Used for server side Java application development.