Comprehensive software program great to develop complex applications.
Free Prolog compiler with constraint solving over finite domains
Provides researchers with the tools to develop non-commercial applications.
