We outline the progress we have made in connection with the Alvey Grant "Evaluating Prolog Environments" (SERCGRJDJ44287and Alvey IKBS 136). This grant runs for three years from 1st November1985. The grant holders are Professor Alan Bundy and Dr Helen Pain and it employs Dr Paul Brna as a Research Fellow.