gnu-prolog
GNU Prolog is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix, Windows, Mac OS X and Linux
Requirements
Click here for system requirements
Instructions
Click the Download software button
See the GNU Prolog manual for instructions
On campus version
n/a