Module SICStus-Prolog中的隐式模块初始化

当我使用以前未使用的模块

f

时，该模块将被初始化，并在之后已知：

| ?- current_module(f). no | ?- assert(f:x). yes | ?- current_module(f). yes 这是我真正的问题：

其他SICStus Prolog谓词的行为是否类似于

current\u谓词

和

predicate\u属性

？如果有，哪些

| ?- current_module(f). no | ?- f:x. ! Existence error in f:x/0 ! procedure f:x/0 does not exist ! goal: f:x | ?- current_module(f). yes | ?- current_module(f). no | ?- current_predicate(f:X). no | ?- findall(X-P, predicate_property(f:X,P), XPs). XPs = [call(_A)-(meta_predicate call(0)), call(_B)-built_in, ...|...] ? ; no | ?- current_module(f). no