6.14 Transparent predicates: definition and context module
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • Modules
        • Transparent predicates: definition and context module
          • module_transparent/1
          • context_module/1
          • strip_module/3
    • Packages
Availability:built-in
context_module(-Module)
Unify Module with the context module of the current goal. context_module/1 itself is, of course, transparent.