Norms on Terms and their use in Proving Universal Termination of a Logic Program