Some Paradigms for Visualizing Parallel Execution of Logic Programs