PNU-Prolog
A parallel extension of NU-Prolog, implemented as a preproccessor.
FTP