State-of-the-art, ISO standard compliant Prolog development system. Built for performance. Built for reliability. Built for enterprise.
303 MLips on modern hardware. JIT compilation to native code.
Full ISO/IEC 13211-1 compliance with all technical corrigenda.
Award-winning constraint solver. 5 MiniZinc Challenge medals.
Windows. Linux. macOS. 32-bit and 64-bit architectures.
C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON integration.
Eclipse-based IDE. Debugging. Profiling. Analysis.