Re: (Swi) current_predicate/1 problem
- From: "Mauro DiNuzzo" <picorna@xxxxxxxxx>
- Date: Sat, 17 Jun 2006 10:17:35 +0200
?- 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.
/\/\
.
- Follow-Ups:
- Re: (Swi) current_predicate/1 problem
- From: Mauro DiNuzzo
- Re: (Swi) current_predicate/1 problem
- References:
- (Swi) current_predicate/1 problem
- From: Mauro DiNuzzo
- Re: (Swi) current_predicate/1 problem
- From: Mauro DiNuzzo
- (Swi) current_predicate/1 problem
- Prev by Date: Re: (Swi) current_predicate/1 problem
- Next by Date: Re: (Swi) current_predicate/1 problem
- Previous by thread: Re: (Swi) current_predicate/1 problem
- Next by thread: Re: (Swi) current_predicate/1 problem
- Index(es):