Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems