Shipping costs for Foundations of logic programming (Symbolic computation)