gprolog (version 1.2.16)

GNU Prolog is a native Prolog compiler with constraint solving
over finite domains (FD) developed by Daniel Diaz
(http://loco.inria.fr/~diaz). Last information can be found
at http://www.gnu.org/software/prolog or better at
http://gprolog.inria.fr.

A lot of work has been devoted to the ISO compatibility. GNU
Prolog is very close to the ISO standard
(http://www.logic-programming.org/prolog_std.html).