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自身来可视化ASP各种概念的ASP可视化工具Clingraph。这一想法溯源于aspviz工具,而Clingraph则在现代ASP系统的背景下重新开发和扩展了这一想法。更具体地说,Clingraph采用ASP事实的形式来描述图形规范,并将其转入图形可视化系统graphviz中。使用ASP可以为逻辑程序和/或答案集提供良好的接口及其可视化。此外,Clingraph还提供了一个Python API,将这种便利的接口扩展到Clingo的API上,并进一步连接和监视求解过程的各个方面。