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/json
/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/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://01ec38a4-431f-4e7c-b026-32c6db0a64f9
pengine://04351281-f2c2-43c0-a2e2-e4fff3dea5bb
pengine://087a32a5-4c00-4932-8965-13a66bda74ad
pengine://08df09a7-c09e-4ad0-b102-441eaf826fb3
pengine://10b77e59-0b0d-4c89-b287-e66b27345e08
pengine://1244a21d-6026-4094-b5da-367b30ea74dc
pengine://14265c6e-31a6-4d8d-a3a2-cae2c4f26631
pengine://1860b5f6-4c9b-4660-bd81-65572d6d70fe
pengine://1a0f651c-cd85-4507-afe4-96d9dc19f5cc
pengine://1f6d6092-1a7d-4193-8c44-73e535b0e57a
pengine://20473ee3-72b1-41f6-b53b-8206336e41be
pengine://2354b963-f45d-4a29-8833-20326eb34558
pengine://279a9c59-5822-4e82-ad05-f2d97bba2207
pengine://29931aba-79e3-4a84-9877-96c4caf02591
pengine://2affb0e3-3f76-4293-8b6e-c0b06bb13c81
pengine://2cb2b51e-b169-432c-8ccc-ef8688e9280b
pengine://33e8113f-4758-4f24-b7a7-2e99a6ba1f96
pengine://34c49e83-032f-4fb3-940a-766b2cf3beec
pengine://37cabb87-d5ab-493e-beef-cc23779e572b
pengine://41a9031a-c278-4ee9-bc4e-63e2c7685249
pengine://46cf75f9-6662-49cb-a1ad-be683329a03d
pengine://4929dd23-41af-42a3-9dc9-dcbb38df0752
pengine://4c919e44-f773-471a-9afe-1c0c70062908
pengine://5019147c-4cb7-46a1-85c8-26548fc14524
pengine://52fa91a9-0543-4a75-bd88-3e17054f847b
pengine://5333dff3-e470-49ea-b7f9-5690ea70cc90
pengine://53ec3d02-5340-44ab-b0ed-7c616037d6cb
pengine://568cf1a0-68b7-416b-a9ee-0c7f94ed1f1b
pengine://5717b1d2-22cb-4b0a-aabb-3fc0ba146fd5
pengine://57577b50-783b-4a0d-8684-da3aa452bfd3
pengine://5a7d5c1d-be5f-4178-9275-012e86e2a32f
pengine://5af15a69-b1e7-4656-8ee4-785ab5670746
pengine://5ff15f7f-3e6f-4b79-aaf8-b3af99314da2
pengine://66d19e50-f888-42f2-bb99-56f98f7e1180
pengine://689636cd-418f-4b03-9f13-a1881e0b534c
pengine://6e79abb8-ce61-4bc7-82a5-976c53433d61
pengine://764374a5-e7c5-411e-8f78-67334daf7408
pengine://773de4df-2a04-4b4f-87cd-e77c5c5a3ded
pengine://81b05507-439c-4978-8c97-36ad13591ba2
pengine://84c4e46a-aee2-4612-a89e-5f103d778fe3
pengine://8792dc34-086e-44bf-9e27-e210690e3466
pengine://8e452512-e3dc-445f-ae03-4d1a10129576
pengine://9086291e-e074-4fcf-98cd-ece783952e9d
pengine://922496ae-60be-4fe2-8d71-4e948f65c0d8
pengine://939a22ea-e793-45c2-83b7-1140dfcc805e
pengine://9af5dcff-d588-4cd2-ba04-0846713334f5
pengine://9b899e66-35cd-486f-a4a6-42fd8f752557
pengine://9e06add2-81d5-4e40-936c-8e5a633d4967
pengine://a25db9fa-d571-4b2e-b3b5-6b82c392b225
pengine://a391efb4-77e3-4aac-b7d3-494dca9b2c82
pengine://af45f9c8-2e04-4323-80d3-062ac5947e8f
pengine://b79f75d5-7ed3-44ac-870a-7bf690f2b09c
pengine://b9971b39-4735-4a1f-ab4a-33f0d8bb8ecb
pengine://bd7b9e2c-b96a-4fc0-b61d-bbfbeb0be703
pengine://bf136a34-d3aa-433b-a42f-13ad4970767b
pengine://bf5ad3bf-6ef7-45ea-b38c-3df2f5b34269
pengine://c1b88eec-f673-4d05-871a-c41b4763495c
pengine://ca508860-7224-4720-97d5-2a6e33faf341
pengine://cc71d467-9510-42ae-9a80-3bf005a3f640
pengine://d18a265e-d9fb-4299-8a94-5e1a8d786525
pengine://d20eb66d-1e11-415c-84bf-3f0140c6b0b0
pengine://d5827cf0-e1a8-4c4f-a996-98314706aaa6
pengine://d8d33055-7fed-4230-8ebb-69bbd2bf7317
pengine://d99bcc16-df3c-4746-966d-450f20183673
pengine://da3060b7-c994-4adb-a07e-cf5349d26bd0
pengine://e850c7da-21ab-4e25-9fd9-c6a5e98c4ce9
pengine://ed5bc532-e939-4ea0-9c9b-92fd69433374
pengine://f7779712-f79c-484d-b143-9134d371a108
pengine://f8d4af27-fed6-48c1-9bb9-da290c87e876
pengine://fc72c497-ed39-4cb1-9652-5f9dcb573d3d
/usr/local/lib/swipl/library/lazy_lists.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
predicate_options.pl -- Access and analyse predicate options
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
yall.pl -- Lambda expressions
assoc.pl -- Binary associations
prolog_format.pl -- Analyse format specifications
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
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
lazy_list/2
lazy_list/3
lazy_list_materialize/1
lazy_list_length/2
lazy_list_iterator/4
lazy_get_codes/4
lazy_read_terms/4
lazy_read_lines/4
lazy_message_queue/4
lazy_engine_next/4
lazy_findall/3
lazy_findall/4
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 -- Run GIT commands
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
iostream.pl -- Utilities to deal with streams
prolog_stack.pl -- Examine the Prolog stack
edinburgh.pl -- Some traditional Edinburgh predicates
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
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
strings.pl -- String utilities
ctypes.pl -- Character code classification
optparse.pl -- command line parsing
prolog_debug.pl -- User level debugging tools
threadutil.pl -- Interactive thread utilities
listing.pl -- List programs and pretty print clauses
ansi_term.pl -- Print decorated text to ANSI consoles
prolog_versions.pl -- Demand specific (Prolog) versions
quintus.pl
shell.pl -- Elementary shell commands
prolog_coverage.pl -- Coverage analysis tool
check.pl
prolog_codewalk.pl -- Prolog code walker
hashtable.pl -- Hash tables
files.pl
increval.pl -- Incremental dynamic predicate modification
tables.pl -- XSB interface to tables
prolog_jiti.pl
thread.pl -- High level thread primitives
nb_set.pl -- Non-backtrackable sets
intercept.pl -- Intercept and signal interface
explain.pl -- Describe Prolog Terms
edit.pl
make.pl -- Reload modified source files
rwlocks.pl
portray_text.pl
qsave.pl
zip.pl -- Access resource ZIP archives
prolog_autoload.pl -- Autoload all dependencies
macros.pl
exceptions.pl
writef.pl
prolog_profile.pl -- Execution profiler
readln.pl
oset.pl
streams.pl -- Manage Prolog streams
prolog_metainference.pl -- Infer meta-predicate properties
prolog_config.pl -- Provide configuration information
fastrw.pl -- Fast reading and writing of terms
tty.pl
prolog_trace.pl -- Print access to predicates
prolog_wrap.pl -- Wrapping predicates
lazy_engine_next
(+Engine, +N, -List, -Tail)
Lazy list iterator for engines. This is used to implement
lazy_findall/3
,4.