Availability:built-in
strip_module(+Term,
-Module, -Plain)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.