There is a Prolog for the VAX at the U. of Rochester. You can get more info from James Allen addresses: ucbvax!allegra!rochester!james feldman at sumex-aim (subject: for James Allen) (716) 275-5671