List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/readline
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
/usr/local/lib/swipl/xpce/prolog/boot
/usr/local/lib/swipl/xpce/prolog/lib
pengine://050833e2-f8c3-4f05-bfde-182a72f80548
pengine://057a0fe9-cbbe-4d57-9760-9b60258cb6b6
pengine://1180cb09-c3ce-4ad0-8e89-fb24d1bec52d
pengine://122e0b2f-8f6d-4e0b-9cbe-b4155fba7a1c
pengine://12611535-70a7-4369-bc3a-f94e4b2ad490
pengine://12b9547c-9f5e-49e9-b43b-69dda3afde0c
pengine://149afd65-3ba1-407e-ac0b-5726156955c3
pengine://1be86a45-4786-457d-9f71-5cd2ed373a9f
pengine://21dfe13b-e50d-4d23-9701-42972274d724
pengine://225c1bb7-315b-4a50-aaaa-601e8f68a71d
pengine://2acfd6e3-be4f-4905-82d2-e48825e1426d
pengine://2e474197-69cf-4def-b8b4-12ada61b2cd3
pengine://32e00fdc-261a-4ada-b119-87c68bcf7bd5
pengine://36048831-f123-4d7d-a471-58dce8112918
pengine://3e29f5e1-9084-4ccc-8b8d-d705043f4c31
pengine://40da509a-d0f1-433b-9113-eae5ef3d7f7c
pengine://491a447d-25ea-489f-8be3-b51184719056
pengine://58424c5f-f4b9-40b5-a9ca-8f7ac11ac50f
pengine://655c571f-02e0-4a3c-b7ae-6faab9607761
pengine://6adb6140-e32f-4ee0-9601-a8de46608448
pengine://701dc9c2-735b-4841-bb32-f9a95828ef05
pengine://728731bd-a9d8-4d75-8042-0b2f4a2064e0
pengine://73b721fb-7555-45d3-979d-cc162557de35
pengine://744eaa42-690a-401b-b1f5-7fc031495584
pengine://7a2c87f3-8edc-4506-a45b-213b2aeb1b0c
pengine://7e2a964e-ac44-47f0-b242-83d4b8c51566
pengine://7efc018b-9752-43c2-a654-f746e9e25759
pengine://8509fe68-9869-41b0-9f1f-833e981bb5eb
pengine://85b0300d-f82c-4a01-9e48-d5792e0eb4f0
pengine://86d01825-261a-47eb-ad85-bc75b0e2bed5
pengine://96edb8f5-c04f-4b0d-baad-ab2d34b9ad69
pengine://96f499bf-a3b3-49c9-8ec4-ce3e308aee5d
pengine://a5474ec9-6e39-44a8-8dfd-b2a0674f657d
pengine://b0bc4ae0-a8ec-4ac2-95ca-05258bf652d4
pengine://c144e592-9c28-45b1-87ea-f85192a89f4e
pengine://c28dd4a4-11c8-4aea-a114-0e55b9cc32f8
pengine://cb19451c-eb22-4401-9f73-66701d076221
pengine://cbedefe2-8bc1-4ac8-999f-fcb3738a364f
pengine://d6559ebd-83a9-47fe-a44d-730178202ca6
pengine://db67bd2b-eb03-4195-8fa6-9c79441f7d81
pengine://df2aeb05-ae09-4ea3-815d-3d5fa92f3fa9
pengine://e8995bc8-cefe-4e79-9606-568b1d1cf7c3
pengine://eadcc657-d85c-4858-b202-37db20287dec
pengine://ed6cfada-376a-40fa-a3f8-32f545664ddf
pengine://f975a018-d98f-4246-a0d9-d97f19954697
pengine://fcb7b983-e547-4765-a6e7-9842316ff207
pengine://fcca926b-ad4f-4458-8ddc-da65472ffa1c
/usr/local/lib/swipl/library/git.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl -- Apply predicates on a list
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
gensym.pl
settings.pl -- Setting management
arithmetic.pl -- Extensible arithmetic
main.pl
readutil.pl
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
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
git/2
git_process_output/3
git_open_file/4
is_git_directory/1
git_describe/2
git_hash/2
is_git_hash/1
git_ls_tree/2
git_remote_url/3
git_ls_remote/3
git_remote_branches/2
git_default_branch/2
git_default_branch/2
git_branches/2
git_tags/2
git_tags_on_branch/3
git_shortlog/3
git_show/4
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
dialect.pl -- Support multiple Prolog dialects
system.pl -- System utilities
terms.pl -- Term manipulation
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
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
prolog_code.pl -- Utilities for reasoning about code
sort.pl
dicts.pl -- Dict utilities
dif.pl -- The dif/2 constraint
varnumbers.pl -- Utilities for numbered terms
pio.pl -- Pure I/O
writef.pl -- Old-style formatted write
threadutil.pl -- Interactive thread utilities
prolog_profile.pl -- Execution profiler
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
rbtrees.pl -- Red black trees
backcomp.pl -- Backward compatibility
charsio.pl -- I/O on Lists of Character Codes
base32.pl -- Base32 encoding and decoding
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
thread.pl -- High level thread primitives
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
intercept.pl -- Intercept and signal interface
zip.pl -- Access resource ZIP archives
quintus.pl -- Quintus compatibility
make.pl -- Reload modified source files
listing.pl -- List programs and pretty print clauses
ctypes.pl -- Character code classification
prolog_history.pl -- Per-directory persistent commandline history
prolog_config.pl -- Provide configuration information
fastrw.pl -- Fast reading and writing of terms
shell.pl -- Elementary shell commands
ansi_term.pl -- Print decorated text to ANSI consoles
help.pl -- Text based manual
hashtable.pl -- Hash tables
macros.pl -- Macro expansion
nb_set.pl -- Non-backtrackable sets
optparse.pl -- command line parsing
strings.pl -- String utilities
prolog_autoload.pl -- Autoload all dependencies
check.pl -- Consistency checking
prolog_codewalk.pl -- Prolog code walker
prolog_coverage.pl -- Coverage analysis tool
prolog_trace.pl -- Print access to predicates
prolog_wrap.pl -- Wrapping predicates
readln.pl -- Read line as list of tokens
prolog_metainference.pl -- Infer meta-predicate properties
portray_text.pl -- Portray text
rwlocks.pl -- Read/write locks
qsave.pl -- Save current program as a state or executable
oset.pl -- Ordered set manipulation
prolog_debug.pl -- User level debugging tools
explain.pl -- Describe Prolog Terms
prolog_versions.pl -- Demand specific (Prolog) versions
files.pl
git_remote_branches
(+GitURL, -Branches)
is
det
Exploit
git_ls_remote/3
to fetch the branches from a remote repository without downloading it.