Used in module-transparent predicates or meta-predicates to extract the
referenced module and plain term. If Term is a
module-qualified term, i.e. of the format Module:Plain, Module
and Plain are unified to these values. Otherwise, Plain
is unified to
Term and Module to the context module.
Tags are associated to your profile if you are logged in