6.14 Transparent predicates: definition and context module
All
Application
Manual
Name
Summary
Help
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.