GNU Prolog is a free Prolog compiler with constraint solving over finite domains [...] The Prolog part conforms to the ''ISO standard for Prolog'' with many extensions very useful in practice (global variables, OS interface, sockets,...). (''Text excerpt from the site'')