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