On the Logical Content of Logic Programs