/usr/local/lib/swipl/library/system.pl
All Application Manual Name SummaryHelp

  • swipl
    • library
      • error.pl
      • debug.pl
      • apply.pl
      • lists.pl
      • broadcast.pl -- Event service
      • shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
      • option.pl
      • thread_pool.pl -- Resource bounded thread management
      • gensym.pl
      • settings.pl
      • arithmetic.pl -- Extensible arithmetic
      • main.pl
      • readutil.pl
      • operators.pl -- Manage operators
      • pairs.pl
      • prolog_source.pl -- Examine Prolog source-files
      • record.pl -- Access compound arguments by name
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl
      • solution_sequences.pl
      • ordsets.pl -- Ordered set manipulation
      • random.pl
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • yall.pl -- Lambda expressions
      • sandbox.pl
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • assoc.pl -- Binary associations
      • prolog_format.pl
      • predicate_options.pl -- Access and analyse predicate options
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • pprint.pl
      • atom.pl -- Operations on atoms
      • modules.pl -- Module utility predicates
      • occurs.pl -- Finding and counting sub-terms
      • prolog_xref.pl -- Prolog cross-referencer data collection
      • prolog_colour.pl -- Prolog syntax colouring support.
      • lazy_lists.pl -- Lazy list handling
      • ugraphs.pl -- Graph manipulation library
      • url.pl -- Analysing and constructing URL
      • www_browser.pl -- Open a URL in the users browser
      • prolog_pack.pl
      • git.pl -- Run GIT commands
      • rbtrees.pl
      • dif.pl -- The dif/2 constraint
      • charsio.pl -- I/O on Lists of Character Codes
      • prolog_stack.pl -- Examine the Prolog stack
      • edinburgh.pl -- Some traditional Edinburgh predicates
      • prolog_clause.pl
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl -- Well Founded Semantics interface
      • dialect.pl
      • prolog_code.pl -- Utilities for reasoning about code
      • sort.pl
      • iostream.pl -- Utilities to deal with streams
      • dicts.pl
      • varnumbers.pl -- Utilities for numbered terms
      • base32.pl -- Base32 encoding and decoding
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl -- Co-Logic Programming
      • date.pl -- Process dates and times
      • heaps.pl
      • statistics.pl
      • terms.pl
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • when.pl -- Conditional coroutining
      • backcomp.pl
      • increval.pl -- Incremental dynamic predicate modification
      • tables.pl
      • check.pl
      • prolog_codewalk.pl -- Prolog code walker
      • intercept.pl -- Intercept and signal interface
      • help.pl -- Text based manual
      • prolog_metainference.pl -- Infer meta-predicate properties
      • threadutil.pl -- Interactive thread utilities
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • optparse.pl -- command line parsing
      • explain.pl
      • quintus.pl -- Quintus compatibility
      • prolog_versions.pl -- Demand specific (Prolog) versions
      • shell.pl -- Elementary shell commands
      • make.pl -- Reload modified source files
      • system.pl -- System utilities
        • system_mode/1
        • system_module/0
        • lock_predicate/1
        • unlock_predicate/1
      • portray_text.pl
      • exceptions.pl
      • ctypes.pl
      • nb_set.pl -- Non-backtrackable sets
      • edit.pl -- Editor interface
      • prolog_debug.pl
      • persistency.pl -- Provide persistent dynamic predicates
      • prolog_coverage.pl
      • prolog_autoload.pl -- Autoload all dependencies
      • listing.pl -- List programs and pretty print clauses
      • zip.pl -- Access resource ZIP archives
      • fastrw.pl
      • streams.pl -- Manage Prolog streams
      • writef.pl -- Old-style formatted write
      • prolog_profile.pl
      • thread.pl -- High level thread primitives
      • qsave.pl
      • prolog_trace.pl
      • prolog_wrap.pl
      • strings.pl
 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.