Pnu-prolog

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