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

  • swipl
    • library
      • error.pl
      • debug.pl
      • apply.pl -- Apply predicates on a list
      • lists.pl
      • broadcast.pl
      • shlib.pl
      • option.pl -- Option list processing
      • thread_pool.pl
      • gensym.pl
      • settings.pl -- Setting management
      • arithmetic.pl
      • main.pl -- Provide entry point for scripts
      • readutil.pl -- Read utilities
      • operators.pl -- Manage operators
      • pairs.pl
      • prolog_source.pl
      • record.pl
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl
      • solution_sequences.pl
      • ordsets.pl
      • random.pl -- Random numbers
      • base64.pl
      • aggregate.pl
      • yall.pl -- Lambda expressions
      • sandbox.pl -- Sandboxed Prolog code
      • 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
      • pprint.pl
      • atom.pl
      • modules.pl -- Module utility predicates
      • occurs.pl -- Finding and counting sub-terms
      • prolog_xref.pl -- Prolog cross-referencer data collection
      • prolog_colour.pl
      • lazy_lists.pl
      • ugraphs.pl
      • url.pl -- Analysing and constructing URL
      • www_browser.pl
      • prolog_pack.pl
      • git.pl -- Run GIT commands
      • utf8.pl
      • dialect.pl
      • system.pl
      • terms.pl
      • date.pl
      • persistency.pl -- Provide persistent dynamic predicates
        • persistent/1
        • current_persistent_predicate/1
        • db_attach/2
        • db_attached/1
        • db_assert/1
        • db_detach/0
        • db_retractall/1
        • db_retract/1
        • db_sync/1
        • db_sync_all/1
      • iostream.pl -- Utilities to deal with streams
      • prolog_stack.pl
      • edinburgh.pl
      • prolog_clause.pl
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl
      • prolog_code.pl -- Utilities for reasoning about code
      • sort.pl
      • dicts.pl
      • dif.pl
      • varnumbers.pl
      • pio.pl
      • base32.pl
      • charsio.pl
      • codesio.pl -- I/O on Lists of Character Codes
      • coinduction.pl
      • heaps.pl
      • rbtrees.pl
      • statistics.pl
      • when.pl
      • backcomp.pl -- Backward compatibility
      • quintus.pl
      • threadutil.pl -- Interactive thread utilities
      • shell.pl -- Elementary shell commands
      • help.pl -- Text based manual
      • listing.pl -- List programs and pretty print clauses
      • qsave.pl
      • zip.pl
      • prolog_autoload.pl -- Autoload all dependencies
      • check.pl
      • prolog_debug.pl
      • ansi_term.pl
      • exceptions.pl
      • increval.pl
      • tables.pl -- XSB interface to tables
      • prolog_coverage.pl
      • prolog_wrap.pl
      • prolog_codewalk.pl -- Prolog code walker
      • make.pl
      • prolog_profile.pl
      • strings.pl
      • fastrw.pl
      • streams.pl -- Manage Prolog streams
      • thread.pl
      • optparse.pl
      • files.pl
      • prolog_trace.pl
      • ctypes.pl -- Character code classification
      • hashtable.pl
      • macros.pl -- Macro expansion
      • edit.pl
      • nb_set.pl -- Non-backtrackable sets
      • prolog_metainference.pl
 db_detach is det
Detach persistency from the calling module and delete all persistent clauses from the Prolog database. Note that the file is not affected. After this operation another file may be attached, providing it satisfies the same persistency declaration.