标签: prolog yap
我知道在Prolog中,定义模块的每个文件都应该以指令
:- module(module_name, [pred1/arity, ...]).
如何在运行时检索模块导出的公共谓词列表?
解决。
? - all(X,[module]:current_predicate(X),CX)。