
system.pl -- System utilities
This module provides some tools to deal with system predicates. System
predicates cannot be traced or redefined.
- deprecated
- - Use :-
set_prolog_flag(generate_debug_info, false)
to
hide predicate internals from the tracer.
- To be done
- - Move this functionality to prolog flags.
system_mode(+Boolean) is det- Switch the system into system or user mode. When in system mode,
system predicates loose most of their special properties, so it
becomes possible to trace and even redefine them.
- deprecated
- - New code should use the prolog flag
access_level
.
system_module- Any predicate defined after this declaraction uptil the end of
the file will become a system predicate. Normally invoked by a
directive immediately following the module declaration.
lock_predicate(+PredInd)- Transform a predicate into a system predicate.
unlock_predicate(+PredInd)- Transform a system predicate into a normal system predicate.