Title: Exploiting groundness in logic programs