1

SICStus Prolog インタープリターでロードされたモジュールで定義されたすべての関係のリストを取得する方法はありますか?

4

1 に答える 1

2

current_predicate/1 built_in 述語を使用できます。

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