/usr/local/lib/swipl/library/zip.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 -- Utility library for loading foreign objects (DLLs, shared objects)
      • option.pl
      • thread_pool.pl
      • gensym.pl
      • settings.pl
      • arithmetic.pl
      • main.pl -- Provide entry point for scripts
      • readutil.pl
      • operators.pl
      • pairs.pl
      • prolog_source.pl
      • record.pl
      • quasi_quotations.pl -- Define Quasi Quotation syntax
      • pure_input.pl
      • solution_sequences.pl -- Modify solution sequences
      • ordsets.pl -- Ordered set manipulation
      • random.pl
      • base64.pl -- Base64 encoding and decoding
      • aggregate.pl
      • yall.pl
      • sandbox.pl
      • apply_macros.pl -- Goal expansion rules to avoid meta-calling
      • assoc.pl
      • prolog_format.pl
      • predicate_options.pl
      • csv.pl
      • pprint.pl
      • atom.pl
      • modules.pl
      • occurs.pl
      • prolog_xref.pl
      • prolog_colour.pl
      • lazy_lists.pl
      • ugraphs.pl
      • url.pl
      • www_browser.pl
      • prolog_pack.pl -- A package manager for Prolog
      • git.pl
      • rbtrees.pl
      • dif.pl
      • charsio.pl -- I/O on Lists of Character Codes
      • prolog_stack.pl
      • edinburgh.pl -- Some traditional Edinburgh predicates
      • prolog_clause.pl
      • prolog_breakpoints.pl
      • wfs.pl -- Well Founded Semantics interface
      • dialect.pl
      • prolog_code.pl
      • sort.pl
      • iostream.pl -- Utilities to deal with streams
      • dicts.pl
      • varnumbers.pl
      • base32.pl
      • codesio.pl
      • coinduction.pl
      • date.pl -- Process dates and times
      • heaps.pl
      • statistics.pl
      • terms.pl
      • utf8.pl
      • when.pl
      • backcomp.pl
      • optparse.pl
      • strings.pl -- String utilities
      • quintus.pl -- Quintus compatibility
      • tables.pl
      • ctypes.pl -- Character code classification
      • ansi_term.pl -- Print decorated text to ANSI consoles
      • prolog_versions.pl -- Demand specific (Prolog) versions
      • prolog_trace.pl
      • shell.pl
      • hashtable.pl
      • prolog_profile.pl
      • 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
      • make.pl
      • check.pl -- Consistency checking
      • rwlocks.pl
      • explain.pl
      • thread.pl
      • threadutil.pl -- Interactive thread utilities
      • help.pl
      • prolog_debug.pl -- User level debugging tools
      • prolog_history.pl
      • writef.pl
      • oset.pl -- Ordered set manipulation
      • prolog_jiti.pl
      • prolog_coverage.pl
      • streams.pl
      • prolog_codewalk.pl
      • listing.pl
      • prolog_metainference.pl
      • intercept.pl
      • portray_text.pl
 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.