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