Success: [eclipse]: tool_body(write/1, P, M), (import P from M). P = write_ / 2 % find the body M = sepia_kernel % procedure and yes. % import it Fail: tool_body(write/1, true/0, M). Error: tool_body(L, P, M). (Error 4). tool_body("current_functor/1", P, M). (Error 5). tool_body(current_functor/1, P, M). (Error 91).