Concentric Circle Diagrams for Visualizing a Reasoning Process on an Extended Logic Program