PNU-Prolog

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