|Did you know ...||Search Documentation:|
op(Precedence, Type, Name). Operators defined in the export list are available inside the module as well as to modules importing this module. See also section 4.24.
Compatible to Ciao Prolog, if Module is unbound, it is unified with the basename without extension of the file being loaded.