Visualización y análisis de las ejecuciones:

Los beneficios obtenidos del análisis no sólo se han comprobado mediante mediciones experimentales, sino también con la ayuda de dos herramientas, IDRA [FCH96] y VisAndOr [CGH93]. Dichas herramientas permiten, respectivamente, simular ejecuciones paralelas en un número arbitrariamente grande de procesadores, con lo cual se puede predecir con precisión el comportamiento de programas paralelizados en grandes máquinas, y visualizar la ejecución de programas lógicos, lo que ayuda a comprender la estructura de los mismos. Se ha desarrollado también una conexión entre VisAndOr y otros visualizadores desarrollados en ECRC (Alemania) y SICS (Suecia). Dichas herramientas ayudan tanto en el desarrollo de programas paralelos como en la evaluación de capacidad de las técnicas de paralelización automática. Estas herramientas están siendo utilizadas por un buen número de investigadores en diversas instituciones internacionales. El programa VisAndOr se ha incluido en la distribución de una implementación comercial de Prolog con capacidades paralelas.