We present the ASP-based visualization tool $\textit{clingraph}$ which aims at visualizing various concepts of ASP by means of ASP itself. This idea traces back to the $\textit{aspviz}$ tool and $\textit{clingraph}$ redevelops and extends it in the context of modern ASP systems. More precisely, $\textit{clingraph}$ takes graph specifications in terms of ASP facts and hands them over to the graph visualization system $\textit{graphviz}$. The use of ASP provides a great interface between logic programs and/or answer sets and their visualization. Also, $\textit{clingraph}$ offers a $\textit{python}$ API that extends this ease of interfacing to $\textit{clingo}$'s API, and in turn to connect and monitor various aspects of the solving process.
翻译:我们提出了一种基于ASP的可视化工具$\textit{clingraph}$,旨在通过ASP本身对ASP的各种概念进行可视化。这一思想可追溯至$\textit{aspviz}$工具,而$\textit{clingraph}$在现代ASP系统的背景下对其进行了重新开发与扩展。具体而言,$\textit{clingraph}$以ASP事实的形式接收图规范,并将其传递给图可视化系统$\textit{graphviz}$。ASP的使用为逻辑程序和/或应答集及其可视化提供了良好的接口。此外,$\textit{clingraph}$还提供了一种$\textit{python}$应用程序编程接口,将该接口的便捷性扩展到$\textit{clingo}$的应用程序编程接口,进而连接和监控求解过程的各个层面。