Explanation-based generalisation = partial evaluation