(Swi) current_predicate/1 problem

Hi all!
I dont know exactly, but the following seems a bug.
Suppose having:

?- assert(my:p(a)).
yes
?- assert('$my':p(a)).
yes

Now the following succeeds:

?- current_predicate(my:p/1).
yes

While the following fails:

?- current_predicate('$my':p/1).
No

It is normal that modules starting with '$' are obscured?
And, if so, why only user-defined modules do this? In fact that works for
builtin modules starting with '$'.

Could you give me some insight?
Thank you very much.

Cheers - /\/\


.

Relevant Pages