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/protobufs
/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
pengine://0a3f10dd-c617-4929-8ece-5c4b2515c3e5
pengine://0b1b07a1-b206-461f-b458-ae0bf23e43be
pengine://117805ca-2fc0-4f5e-abbe-b66ed5ea8090
pengine://1c1beb02-4888-4bde-8ac1-2caa4e22d4c3
pengine://1ed86c92-c71e-41da-a867-9ef7e1faa962
pengine://22c95612-8a0d-4ac3-a8c3-c8abb6845379
pengine://26023575-c9c7-4610-9a80-ed9620cfd1a9
pengine://2cdda422-f57f-4225-b0ef-7054877bc2c9
pengine://2f5f7eed-9cd7-47f4-9680-2afe0c515369
pengine://307b9194-6ae9-43d7-8b7a-891e457e6527
pengine://31bf91e5-c0f5-42e2-be22-10dc8bfc7551
pengine://334ccef8-c267-4207-9a9d-4218d0fe18ed
pengine://33b89302-2d87-4bd3-91cd-34e828de4b55
pengine://3df5b830-3330-4e23-9cf5-a9139185d531
pengine://406bc49e-16b0-4013-9108-d1b3c30925b5
pengine://43e1e851-f6a7-4552-8ffd-51b0697e82ac
pengine://4a5d3518-6ea2-4f9d-851f-ffb88c15d516
pengine://4c273f90-9c31-4bfa-9dea-7fde5d0e1950
pengine://50f7ee20-531f-481d-9d58-5c289c1e6845
pengine://5e2d9318-cfaa-402a-b537-0fea413adabe
pengine://6dd240f4-5ef5-4a66-a628-59001b540fe7
pengine://718b7a69-e91c-4455-916f-c77f6d6899b5
pengine://79a8d4ad-9c78-473d-8191-372d372cc25d
pengine://7e2d4991-a0f9-48fc-a77f-b64f4a10f6bb
pengine://89d52778-3eb1-4a3e-8b78-2cfb68585223
pengine://940d4720-2cb4-4f2a-90a9-683d1c9f9cfd
pengine://9c638e23-161e-4003-a3ef-ca61e0e785ef
pengine://a201c922-556d-430f-93b0-d54598ed2ed1
pengine://bc5bf3d2-3009-4afc-9d1d-1198ea9028f9
pengine://c7f18cbb-3d4d-4c68-bcc4-f68a898059d8
pengine://c90432da-ae13-48c4-b521-e4ad40d25e62
pengine://d0e40ec9-c414-4f7e-9c60-fcc14a4fccb7
pengine://d57ac9e5-2878-44a5-87f2-3fa1935c0339
pengine://da175c96-7fcd-442c-b887-936becf0f9c8
pengine://e1849f3e-8470-4107-8d78-10614d937b86
pengine://e56e4390-060d-4d63-9e32-a4bf349e4192
/usr/local/lib/swipl/library/backcomp.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl -- Print debug messages and test assertions
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
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
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
predicate_options.pl -- Access and analyse predicate options
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
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
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
dialect.pl -- Support multiple Prolog dialects
system.pl
terms.pl -- Term manipulation
date.pl -- Process dates and times
persistency.pl -- Provide persistent dynamic predicates
iostream.pl -- Utilities to deal with streams
prolog_stack.pl -- Examine the Prolog stack
edinburgh.pl
prolog_clause.pl
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
explain.pl -- Describe Prolog Terms
base32.pl
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
$arch/2
$version/1
$home/1
$argv/1
$set_prompt/1
displayq/1
displayq/2
sformat/3
sformat/2
concat/3
concat_atom/2
concat_atom/3
$apropos_match/2
read_clause/1
read_clause/2
read_variables/2
read_variables/3
read_pending_input/3
feature/2
set_feature/2
substring/4
string_to_list/2
string_to_atom/2
flush/0
write_ln/1
proper_list/1
free_variables/2
hash_term/2
checklist/2
sublist/3
sumlist/2
$strip_module/3
$module/2
$declare_module/3
at_initialization/1
convert_time/2
convert_time/8
C/3
current_thread/2
current_mutex/3
message_queue_size/2
lock_predicate/2
unlock_predicate/2
current_module/2
export_list/2
call_cleanup/3
setup_and_call_cleanup/3
setup_and_call_cleanup/4
merge_set/3
merge/3
index/1
hash/1
set_base_module/1
eval_license/0
trie_insert_new/3
thread_at_exit/1
read_history/6
$sig_atomic/1
listing.pl -- List programs and pretty print clauses
zip.pl
prolog_autoload.pl
check.pl -- Consistency checking
prolog_codewalk.pl -- Prolog code walker
prolog_metainference.pl -- Infer meta-predicate properties
quintus.pl -- Quintus compatibility
optparse.pl -- command line parsing
strings.pl -- String utilities
ctypes.pl -- Character code classification
ansi_term.pl -- Print decorated text to ANSI consoles
prolog_debug.pl -- User level debugging tools
prolog_coverage.pl
threadutil.pl -- Interactive thread utilities
prolog_versions.pl -- Demand specific (Prolog) versions
shell.pl -- Elementary shell commands
intercept.pl -- Intercept and signal interface
prolog_trace.pl
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
thread.pl -- High level thread primitives
prolog_wrap.pl
prolog_profile.pl
writef.pl -- Old-style formatted write
edit.pl
nb_set.pl
rwlocks.pl -- Read/write locks
portray_text.pl
exceptions.pl
prolog_jiti.pl
prolog_history.pl
prolog_config.pl -- Provide configuration information
help.pl
make.pl -- Reload modified source files
readln.pl
hashtable.pl
streams.pl
tty.pl
files.pl
fastrw.pl
qsave.pl
oset.pl
macros.pl
proper_list
(+List)
Old SWI-Prolog predicate to check for a list that really ends in a []. There is not much use for the quick is_list, as in most cases you want to process the list element-by-element anyway.
deprecated
- Use ISO
is_list/1
.