Success: [eclipse]: create_module(m). yes. [eclipse]: lock(m, "pass"). yes. [eclipse]: module(m). trying to access a locked module in module(m) [eclipse]: is_locked(m), unlock(m, "pass"). yes. [eclipse]: is_locked(m). no. [eclipse]: module(m). [m]: Error: is_locked(M). (Error 4). is_locked(1). (Error 5). is_locked(not_a_module). (Error 80).