Title: An introduction to PROLOG-1 on the research machines 380z micrcro