Shipping costs for Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 28)