Author: UK CONFERENCE ON LOGIC PROGRAMMING 1991