VisAll

VisAll is a tool to visualise the parallel execution of logic programs.

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.