Logic program synthesis and transformation are topics of central importance to the software indus...