Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Prologでは、モジュールを定義するすべてのファイルが命令で始まる必要があることを知っています
:- module(module_name, [pred1/arity, ...]).
実行時にモジュールによってエクスポートされたパブリック述語のリストを取得するにはどうすればよいですか?
解決しました。
?- all(X, [モジュール]:current_predicate(X),CX)。