What PROLOGs run on Unix? I am especially interested in a version which will run on a VAX with 4.3 BSD. Cost is a consideration, as this is intended for a university. Advance thanks. -- Cris Kobryn