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

  • swipl
    • library
      • error.pl
      • debug.pl -- Print debug messages and test assertions
      • apply.pl
      • lists.pl
      • broadcast.pl -- Event service
      • predicate_options.pl -- Access and analyse predicate options
      • shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
      • option.pl -- Option list processing
      • thread_pool.pl -- Resource bounded thread management
      • gensym.pl -- Generate unique symbols
      • settings.pl -- Setting management
      • arithmetic.pl -- Extensible arithmetic
      • main.pl -- Provide entry point for scripts
      • readutil.pl -- Read utilities
      • operators.pl -- Manage operators
      • pairs.pl -- Operations on key-value lists
      • prolog_source.pl -- Examine Prolog source-files
      • record.pl -- Access compound arguments by name
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl -- Pure Input from files and streams
      • solution_sequences.pl -- Modify solution sequences
      • ordsets.pl -- Ordered set manipulation
      • random.pl -- Random numbers
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl -- Aggregation operators on backtrackable predicates
      • 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 -- Analyse format specifications
      • csv.pl -- Process CSV (Comma-Separated Values) data
      • pprint.pl -- Pretty Print Prolog terms
      • 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
      • iostream.pl -- Utilities to deal with streams
      • url.pl -- Analysing and constructing URL
      • www_browser.pl -- Open a URL in the users browser
      • prolog_pack.pl -- A package manager for Prolog
      • git.pl -- Run GIT commands
      • rbtrees.pl -- Red black trees
      • 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 -- Get detailed source-information about a clause
      • prolog_breakpoints.pl -- Manage Prolog break-points
      • wfs.pl -- Well Founded Semantics interface
      • dialect.pl -- Support multiple Prolog dialects
      • prolog_code.pl -- Utilities for reasoning about code
      • sort.pl
      • dicts.pl -- Dict utilities
      • 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 -- heaps/priority queues
      • statistics.pl -- Get information about resource usage
      • terms.pl -- Term manipulation
      • when.pl -- Conditional coroutining
      • backcomp.pl -- Backward compatibility
      • utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
      • exceptions.pl -- Exception classification
      • hashtable.pl -- Hash tables
      • optparse.pl -- command line parsing
      • system.pl -- System utilities
      • quintus.pl -- Quintus compatibility
      • prolog_debug.pl -- User level debugging tools
      • make.pl -- Reload modified source files
      • edit.pl -- Editor interface
      • listing.pl -- List programs and pretty print clauses
      • strings.pl -- String utilities
      • files.pl
      • portray_text.pl -- Portray text
      • check.pl -- Consistency checking
      • threadutil.pl -- Interactive thread utilities
      • intercept.pl -- Intercept and signal interface
      • thread.pl -- High level thread primitives
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • prolog_codewalk.pl -- Prolog code walker
      • prolog_profile.pl -- Execution profiler
      • zip.pl -- Access resource ZIP archives
        • zip_open/4
        • zip_close/1
        • zip_close/2
        • zipper_goto/2
        • zipper_open_current/3
        • with_zipper/2
        • zipper_members/2
        • zipper_file_info/3
        • zipper_open_new_file_in_zip/4
      • ctypes.pl -- Character code classification
      • fastrw.pl -- Fast reading and writing of terms
      • prolog_autoload.pl -- Autoload all dependencies
      • explain.pl -- Describe Prolog Terms
      • tables.pl -- XSB interface to tables
      • persistency.pl -- Provide persistent dynamic predicates
      • nb_set.pl -- Non-backtrackable sets
      • macros.pl -- Macro expansion
      • shell.pl -- Elementary shell commands
      • streams.pl -- Manage Prolog streams
      • writef.pl -- Old-style formatted write
      • increval.pl -- Incremental dynamic predicate modification
      • prolog_coverage.pl -- Coverage analysis tool
      • prolog_versions.pl -- Demand specific (Prolog) versions
      • help.pl -- Text based manual
      • oset.pl -- Ordered set manipulation
      • prolog_config.pl -- Provide configuration information
      • rwlocks.pl -- Read/write locks
      • prolog_history.pl -- Per-directory persistent commandline history
      • qsave.pl -- Save current program as a state or executable
      • prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
      • prolog_metainference.pl -- Infer meta-predicate properties
      • prolog_trace.pl -- Print access to predicates
      • prolog_wrap.pl -- Wrapping predicates
 zipper_goto(+Zipper, +Where) is semidet
Seek Zipper to a specified entry. Where is one of
first
Go to the first entry. Fails if the zip is empty.
next
Go to the next entry. Fails if there is no next entry.
file(Name)
Go to the entry with the specified name.