prolog - Prolog 中的规则依赖图

Question

假设我想在 Prolog 中为 Prolog 程序制作一个规则依赖图。例如下面的程序

foo(X) :- bar(X, 0).
bar(A, B) :- quux(A), coox(B).
baz.

将导致以下结果成立(通过使用assert):

depends(foo, [bar]).
depends(bar, [quux, coox]).
depends(baz, []).

或者类似上面的东西，我可以轻松地用它来制作图表。我一直在考虑的方法是将输入文件的行作为字符串读取，并对它们执行一些简单的搜索和替换，但这看起来像是一个丑陋的、不象 Prolog 的 hack。还有其他利用 Prolog 元逻辑功能的选项吗？

Answer 1

无需将文件读取为(非结构化)字符串:Prolog 源文件是一系列有效的 Prolog 术语，您可以使用 ( 读取子句例如)阅读/1并像对任何其他术语一样对它们进行推理。 (:-)/2 已经是预定义的运算符，然后您可以使用 Prolog 的内置元谓词(arg/3、functor/3、=../2 等)轻松检查子句。正如您所期望的那样，这会自动处理源代码级注释等。