State-of-the-art, ISO standard compliant Prolog development system. Built for performance, reliability, and enterprise applications.
303 MLips with JIT compilation to native code.
Full ISO/IEC 13211-1 compliance with all technical corrigenda. Write portable, standards-based code.
Award-winning constraint solver.
Windows, Linux, macOS. 32-bit and 64-bit architectures supported.
Seamless integration with C/C++, Java, .NET, Tcl/Tk, ODBC, XML, and JSON.
Eclipse-based development environment with debugging and profiling.