State-of-the-art, ISO standard compliant Prolog development system for enterprise applications.
303 MLips with JIT compilation to native code
Full ISO/IEC 13211-1 with all corrigenda
Award-winning constraint solver
C/C++, Java, .NET, Tcl/Tk, ODBC
Eclipse-based with debugging & profiling
Windows, Linux, macOS support
% Constraint solving example
:- use_module(library(clpfd)).
solve(X, Y, Z) :-
[X,Y,Z] ins 1..9,
X + Y #= Z,
X #< Y,
label([X,Y,Z]).
% ?- solve(X, Y, Z).
% X = 1, Y = 2, Z = 3