Observational Equivalences forLogic Programs 1