prolog - 获取模块中定义的公共谓词列表

Question

我知道在 Prolog 中定义模块的每个文件都应该以指令开头

:- module(module_name, [pred1/arity, ...]).

如何检索模块在运行时导出的公共谓词列表？

解决了。

?-所有（X，[模块]：current_predicate（X），CX）。