current_module/3

current_module( ? Mod:atom, ? F : file )* is nondet

Succeeds if M is a module associated with the file F, that is, if File is the source for M. If M is not declared in a file, F unifies with user.