GNU Prolog
GNU Prolog is an implementation of Prolog.
Other implementations of Prolog.
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)