Success: [eclipse]: compile(user, m). p(X) :- writeln(X). user compiled 48 bytes in 0.03 seconds yes. [eclipse]: p(hello). calling an undefined procedure p(hello) in module eclipse [eclipse]: module(m). [m]: p(hello). foo yes. Error: module(M). (Error 4). module(1). (Error 5). module(m), true. (Error 81). module(a_locked_module). (Error 82). % from top level