Hamish Taylor: Coupled resolution engines for programming knowledge based systems in logic. Heriot-Watt University, Edinburgh, UK 1989