#1 current_predicate/2 and modules

[Nicos Angelopoulos]

It would be nice if,
?- use_module( library(lists) ),
current_predicate( append, Appd ).
said yes, instead of the current, no.

Or at least if that was the case for,
?- use_module( library(lists) ),
current_predicate( lists:append, Appd ).

Altough the first is more intuitive, since
?- use_module( library(lists) ),
append( [1,2], [3], [1,2,3] ).
yes

Similarly, it would be useful to have,
?- use_module( library(lists) ),
predicate_property( append(_,_,_), Prop ).

rather than,
?- use_module( library(lists) ),
predicate_property( lists:append(_,_,_), Prop ).

nicos.