VisAll: A new Tool to Visualise Parallel Execution of Logic Programs

Abstract:

Logic programming allows the exploitation of parallelism in the programs in a transparent manner. Several systems were developed to explore the implicit parallelism of logic programs. The development of these systems brings some hard problems such as parallel debugging and dynamic distribution of varied sized work among processors. This paper describes VisAll, a new tool to visualise the parallel execution of logic programs, whose main objective is to help users to develop parallel logic programming systems. VisAll can visualise several kinds of parallelism including or-parallelism, independent and-parallelism, and combinations of both. The system is modular and reasonably flexible in order to be able to visualise a great spectrum of parallel logic programming systems VisAll allows users or system developers to modify or add new trace formats, define the visualisation of new forms of parallelism, and define the icons associated to each trace event.

Keywords: logic programming, parallelism, visualisation tool, trace files.

Full article

Nuno Fonseca
Fri Nov 7 14:03:58 WET 1997