Compiling exploratory and goal-directed deduction into sloppy delta-iteration (1987)