The Prolog environment is available in the CS department on any Linux boxes (which be warned are dual boot and could go down with only short notice) and on the following three machines: infinity (SGI), sparky (Solaris), and sunset (permanent Linux). It is also available on waimea and wrath.
It is located in /usr/local/bin/pl