List extension packs
/data/config-enabled
/swish
/swish/config-available
/swish/lib
/swish/lib/data
/swish/lib/plugin
/swish/lib/render
/swish/pack/chat80/prolog
/swish/pack/chat80/prolog/chat80
/swish/pack/hdt/prolog
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/rserve_client/prolog/r
/swish/pack/sCASP/prolog
/swish/pack/sCASP/prolog/scasp
/swish/pack/sCASP/prolog/scasp/clp
/swish/pack/sCASP/prolog/scasp/lang
/swish/pack/smtp/prolog
/swish/pack/wordnet/prolog
/usr/lib/swipl
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/ext/bdb
/usr/lib/swipl/library/ext/chr
/usr/lib/swipl/library/ext/chr/chr
/usr/lib/swipl/library/ext/clib
/usr/lib/swipl/library/ext/clpqr
/usr/lib/swipl/library/ext/clpqr/clpq
/usr/lib/swipl/library/ext/clpqr/clpqr
/usr/lib/swipl/library/ext/clpqr/clpr
/usr/lib/swipl/library/ext/http/http
/usr/lib/swipl/library/ext/libedit
/usr/lib/swipl/library/ext/nlp
/usr/lib/swipl/library/ext/odbc
/usr/lib/swipl/library/ext/paxos
/usr/lib/swipl/library/ext/pcre
/usr/lib/swipl/library/ext/pengines
/usr/lib/swipl/library/ext/pldoc
/usr/lib/swipl/library/ext/pldoc/pldoc
/usr/lib/swipl/library/ext/redis
/usr/lib/swipl/library/ext/semweb/semweb
/usr/lib/swipl/library/ext/sgml
/usr/lib/swipl/library/ext/ssl
/usr/lib/swipl/library/ext/ssl/http
/usr/lib/swipl/library/ext/stomp
/usr/lib/swipl/library/ext/zlib
/usr/lib/swipl/library/http
/usr/lib/swipl/xpce/prolog/boot
/usr/lib/swipl/xpce/prolog/lib
/usr/lib/swipl/xpce/prolog/lib/english
/usr/lib/swipl/xpce/prolog/lib/swi
/usr/share/swi-prolog/pack/clpBNR/prolog
/usr/share/swi-prolog/pack/libssh/prolog
pengine://00693931-6705-4306-a8be-5b87cadd744c
pengine://0ed5d620-a14a-4f8f-abdd-d421cce7d61c
pengine://106bc0f8-9560-4d88-889a-62dfa3bfca11
pengine://11ff2efb-53fd-47ab-b2c5-c24671c21a78
pengine://138fe448-782a-4244-a78a-5f14cc3c1923
pengine://1cd1069a-594a-432f-8f04-a52a699699a2
pengine://1eb15cc8-567c-4556-bcf8-fd368c6ffb48
pengine://2142593f-8785-44c2-98bf-2d78be867c94
pengine://233b113c-75c1-46e7-8d6a-873e11b1b65e
pengine://23afe1a7-3798-4201-8b85-1877edd21d1f
pengine://25068c99-665c-4f69-9323-281caf1f6000
pengine://279cdb86-4ae6-4bc4-9e21-62e5fd985a04
pengine://290bb1b9-fd89-4d99-9d2f-2c8073180b63
pengine://2e3ff071-1c92-444c-871e-972d60b8a2e2
pengine://2e85a2e8-419e-44a7-b403-d315e8c478f6
pengine://31ba753a-3293-42c4-bb5b-ba5880b382a8
pengine://3724f40a-927e-459d-9758-7c7f441e50b5
pengine://38b8c4a6-e3be-4c35-adc3-c355f9642092
pengine://3b5cf48e-cde5-4a7e-844d-1e9896116d46
pengine://3cbab61b-6c59-44e3-ae2f-b8680bcac8d4
pengine://4a6dcc55-c234-445b-be8f-846eef6b2f9b
pengine://5969664b-efc1-434f-8f76-de8317bdde06
pengine://5ce49db2-db39-4875-beaf-61f6861c94f5
pengine://5e5d1630-762c-49a2-960d-4d3a101c5450
pengine://5fa9b9d3-5ad5-4ef3-8ca6-c3cd2898c50b
pengine://6617bff7-38cf-4f5b-a0da-16393aba98c1
pengine://7031dfcf-d56b-4815-8fb5-f2c58612533d
pengine://7703bb05-e1a0-45bc-a2bf-e12a86e9d969
pengine://8441d488-766d-47cf-9f39-e4352830673d
pengine://84451637-bad0-4969-b71e-0eafcd6b1479
pengine://861954a3-652d-484a-9341-bf524e7ee38f
pengine://87a9d0d3-e067-43ca-a46c-1a12ba10c10a
pengine://8a9b98ba-d9f5-4d16-8987-26592d9a0e3b
pengine://8ad358d4-074e-4b03-8516-95a2d19205bb
pengine://9021970d-80c3-4d30-b0dd-141d0d7f8c43
pengine://950ae212-e751-4154-bffc-87400d9f69ed
pengine://962b3035-a0e8-4d28-8230-293bd4d700dd
pengine://9b7c6c05-ba01-4918-8bc0-149e72fe12fb
pengine://9f8d0ffe-5dbc-4650-b2dc-ef31fa60bb14
pengine://a0f976ff-a408-4fc4-80c8-c17b1c7b1051
pengine://ac4b2a4a-93b6-4df1-94a7-0369cefa8ad2
pengine://af1f69cd-e36b-4ce2-b32a-78e4f689e5f1
pengine://b0f13aaf-a587-4336-84b0-4af0503d1c7c
pengine://b4906bdd-931c-432d-8ecd-4c7ca23773ae
pengine://bb9e2d57-983f-4df0-93ef-5d170ed2abad
pengine://bbcdcb47-923e-42f4-841c-931f376112ed
pengine://bf09873e-143a-4991-ad1e-e3c576c66968
pengine://c11f2924-98e2-447a-98a2-9bac061ff88f
pengine://cde92d43-138d-4ad5-a9bd-9f82de0878a6
pengine://d3bd2d11-7935-4c93-926c-2a510a731f84
pengine://d40817a3-d885-4add-be9a-7d85fa759708
pengine://d40d428d-0fe0-42b8-8301-c6341ffe046b
pengine://d8a5222a-1bd0-4e3d-b9ab-64f9a0382f3a
pengine://dab9ca7d-667e-4e9a-bf63-ca90b7d0e3c5
pengine://dfcc9162-cfab-40f0-b16f-41141ef87b93
pengine://e0a5338f-7bb6-4191-ac2c-7f82f21038ff
pengine://e38c238d-9afa-4125-bedd-3cd7689bf5ea
pengine://f02bddda-6d23-4943-b6fb-ee3a451d1979
pengine://f0d5ccf4-afb9-42ff-9b95-863e52829092
pengine://f32b08f0-9f04-4c1b-93c9-93442ff7e3a2
/usr/lib/swipl/library/increval.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl
lists.pl
broadcast.pl
predicate_options.pl
shlib.pl
option.pl
thread_pool.pl
gensym.pl
settings.pl
arithmetic.pl
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
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
quintus.pl -- Quintus compatibility
prolog_versions.pl -- Demand specific (Prolog) versions
prolog_wrap.pl -- Wrapping predicates
dialect.pl -- Support multiple Prolog dialects
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
prolog_code.pl -- Utilities for reasoning about code
strings.pl -- String utilities
dif.pl -- The dif/2 constraint
edinburgh.pl -- Some traditional Edinburgh predicates
terms.pl -- Term manipulation
ansi_term.pl -- Print decorated text to ANSI consoles
prolog_stack.pl -- Examine the Prolog stack
prolog_clause.pl -- Get detailed source-information about a clause
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl -- Well Founded Semantics interface
sort.pl
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
nb_set.pl -- Non-backtrackable sets
base32.pl -- Base32 encoding and decoding
charsio.pl -- I/O on Lists of Character Codes
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
heaps.pl -- heaps/priority queues
rbtrees.pl -- Red black trees
statistics.pl -- Get information about resource usage
when.pl -- Conditional coroutining
backcomp.pl -- Backward compatibility
ctypes.pl -- Character code classification
increval.pl -- Incremental dynamic predicate modification
is_incremental_subgoal/1
incr_directly_depends/2
incr_trans_depends/2
incr_invalid_subgoals/1
incr_is_invalid/1
incr_invalidate_calls/1
incr_invalidate_call/1
incr_table_update/0
incr_propagate_calls/1
writef.pl -- Old-style formatted write
readln.pl -- Read line as list of tokens
tables.pl -- XSB interface to tables
threadutil.pl -- Interactive thread utilities
intercept.pl -- Intercept and signal interface
nb_rbtrees.pl -- Non-backtrackable operations on red black trees
qpforeign.pl -- Quintus compatible foreign loader
thread.pl -- High level thread primitives
system.pl -- System utilities
prolog_debug.pl -- User level debugging tools
listing.pl -- List programs and pretty print clauses
portray_text.pl -- Portray text
check.pl -- Consistency checking
prolog_codewalk.pl -- Prolog code walker
shell.pl -- Elementary shell commands
qsave.pl -- Save current program as a state or executable
zip.pl -- Access resource ZIP archives
incr_directly_depends
(:Goal1, :Goal2)
is
nondet
True if
Goal1
depends on
Goal2
in the IDG.
Compatibility
- : In XSB, at least one of Goal 1 or Goal 2 must be bound. This implementation may be used with both arguments unbound.