State-of-the-art, ISO compliant Prolog development system. Built for performance, reliability, and enterprise applications.
Download Free Trial303 MLips with JIT compilation to native code for x86 platforms.
Full ISO/IEC 13211-1 with all technical corrigenda.
Award-winning constraint solver. 5 MiniZinc medals.
Windows, Linux, macOS. 32-bit and 64-bit.
C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON.
Eclipse-based with debugging and profiling.