Informatique Th Eorique/computer Science on Locally Stratiied Logic Programs