我在（SWI-）Prolog中写了一个更大的项目。为了更好地了解谓词及其之间的关系，我正在寻找一种功能来说明这一点。
在XPCE扩展（命令"manpce"）中，有一个关于谓词（工具>Prolog Navigator）的概述。但我主要在寻找一个机会来说明哪些谓词调用哪些谓词等等......
我建议你看看SWI-Prolog自己的开发工具，比如Carlo建议的gxref和PDT，一个基于Eclipse的IDE，用于Prolog编程，支持SWI-Prolog（加上Logtalk，很快还有YAP）。PDT 包括对可视化谓词交叉引用调用的支持。