Shipping costs for Deductive and Declarative Programming