Table of contents What is GNU Prolog ? Features How does GNU Prolog work ? History Supported Platforms & last changes Manual Download Contributions and related developments Mailing lists Reporting bugs What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binari