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.