Exploiting Groundness in Logic Programs (Linkoping Studies in Science and Technology. Dissertations., Department of Computer and Information Science, Linkoping University, Sweden)