This is UNSW Prolog off the net. It is PD distributable but not for
profit. These sources will run on VMS or Unix.