Re: (Swi) current_predicate/1 problem



?- help(current_predicate/1).

reports that:

"[...] the current implementation of current_predicate/1 does not consider
predicates that can be autoloaded `current'."

What does it means?
Am I obliged to use style_check(+dollar) to achieve my needs?

Thanks


"Mauro DiNuzzo" <picorna@xxxxxxxxx> ha scritto nel messaggio
news:kQOkg.36$td2.83@xxxxxxxxxxxxxxxxxxxxxx
Sorry!!!! My problem was another.
I got out of my mind while writing......

THE REAL PROBLEM IS:

After:

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

Then

?- current_predicate(Module:p/1).
Module = my ;
No

That is, the problem is similar. current_predicate/1 dont see '$my' has a
module having the predicate p/1.
Sorry for the first message.
/\/\




.