PNU-Prolog A parallel extension of NU-Prolog, implemented as a preproccessor. (ftp://munnari.oz.au/pub/bebop.tar.Z).