State-of-the-art, ISO standard compliant Prolog development system. Built for performance, reliability, and enterprise applications.
303 MLips on modern hardware with JIT compilation to native code. Handle massive datasets with ease.
Full compliance with ISO/IEC 13211-1 standard including all technical corrigenda.
Award-winning CLP(FD) solver. MiniZinc Challenge medals in 2009, 2014, 2020, 2021, and 2022.
Native support for Windows, Linux, and macOS. 32-bit and 64-bit architectures.
Seamless integration with C/C++, Java, .NET, Tcl/Tk, ODBC, XML, and JSON.
Eclipse-based IDE with refactoring, debugging, and execution profiling.
