Note that call_explicit can only call exported or global predicates in order to preserve module privacy.
Success: [eclipse]: cd(~). system interface error: No such file or directory in cd(~) [eclipse]: [user]. % redefine cd/1, using its % original definition cd(~) :- !, getenv('HOME', Home), call_explicit(cd(Home), sepia_kernel). cd(Dir) :- call_explicit(cd(Dir), sepia_kernel). [eclipse]: cd(~). yes. Fail: call_explicit(fail, sepia_kernel). Error: call_explicit(Var,eclipse). (Error 4). call_explicit(ls,Var). (Error 4). call_explicit("write(a)",eclipse). (Error 5). call_explicit(foo(a),eclipse). (Error 68).