Typically, cross-module calls are considered ok for testing and debugging (and for some real code). You can dynamically import any predicate from a module. Don’t tell @pmoura 
:- export(m:p/1).
:- import(m:p/1).
1 Like