A Notion of Map between Logic Programs