可视化prolog规则依赖项

Question

我有一个prolog程序，它有一些相当复杂的递归逻辑。我希望可视化规则的依赖性，以便更好地理解程序。是否有一些实用程序可以将prolog程序转换为GraphViz文件，用于可视化？

我的所有谓词都包含在一个XSB prolog文件中。

Answer 1

Logtalk（支持12个Prolog系统）提供了一个diagrams工具，可以生成多种图表，包括交叉引用图表。根据Prolog系统，它也可以用于一些限制，以创建Prolog代码的图表。例如：

http://logtalk.org/diagrams/swi_prolog_library_entity_diagram.svg

交叉引用图（使用旧版工具生成）的示例是：

http://logtalk.org/diagrams/pengines_module_xref_diagram.pdf

根据您正在使用的Prolog系统以及如何组织代码，此工具可能是一个可行的选项（它的默认输出是GraphViz .dot文件）。也许您可以通过更多详细信息更新您的帖子？