Comprehensive software program great to develop complex applications.
Free Prolog compiler with constraint solving over finite domains
Specially designed for education.
Provides a unified interface to a series of user-replaceable programs
Leading Prolog compiler system for Windows-based PCs.