Interactive debugging of non-ground ASP programs