This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

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)

GNU Prolog is an implementation of Prolog. Other implementations of Prolog.

GNU Prolog site