Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems