A study of techniques for handling Pascal on a Prolog-like machine. - Gang Chen 030 (1985)