Duke has one that'll run on an 11/70. Send mail to duke!mgv or duke!dbl for details. There was also a brief discussion of UNIX Prologs in the net.applic newsgroup (which has been silent lately) a few months ago. I am still interested in finding a UNIX Prolog for a VAX, if anyone knows of such a thing.