1

有没有办法获取在 SICStus Prolog 解释器中加载的模块中定义的所有关系的列表？

4

1 回答 1

2

您可以使用 current_predicate/1 内置谓词：

findall(Predicate, current_predicate(Module:Predicate), L)
于 2013-05-28T14:49:58.917 回答