State-of-the-art, ISO compliant Prolog for enterprise applications. Trusted by NASA, Ericsson, and leading research institutions.
303 MLips with JIT compilation to native code for x86.
Full ISO/IEC 13211-1 with all technical corrigenda.
Award-winning CLP(FD) solver. 5 MiniZinc medals.
C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON.