Proceedings of the Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Programming Languages In conjunction with the First International Conference on Computational Logic (CL2000) London, England July, 2000 Inˆ es de Castro Dutra COPPE – Department of Systems Engineering and Computer Science Federal University of Rio de Janeiro Brazil