State-of-the-art, ISO standard compliant Prolog development system. Built for performance and reliability.
Trusted by NASA, Ericsson, and leading research institutions.
303 MLips with JIT compilation to native code for x86 platforms.
Full ISO/IEC 13211-1 compliance with all technical corrigenda.
Award-winning CLP(FD) solver with MiniZinc medals.
Windows, Linux, macOS. 32-bit and 64-bit support.
C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON integration.
Eclipse-based with debugging and profiling.
