![0 0 upvotes](/icons/vote_up.gif)
![0 0 downvotes](/icons/vote_down.gif)
This predicate should probably also be able to retrieve the name of the current module.
?- module(tex). Warning: tex is not a current module (created) true. tex: ?- module(X). ERROR: Arguments are not sufficiently instantiated tex: ?- module(tex). true.