Reduction Machines fo Logic Programming based on C-expressions