List extension packs
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/trill/prolog
/home/mlunife/trill-on-swish
/home/mlunife/trill-on-swish/config-enabled
/home/mlunife/trill-on-swish/lib
/home/mlunife/trill-on-swish/lib/render
/home/mlunife/trill-on-swish/pack/profile/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/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
/usr/local/lib/swipl/library/listing.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl -- Apply predicates on a list
lists.pl -- List Manipulation
broadcast.pl -- Event service
shlib.pl
option.pl
thread_pool.pl -- Resource bounded thread management
gensym.pl
settings.pl -- Setting management
arithmetic.pl
main.pl
readutil.pl -- Read utilities
operators.pl -- Manage operators
pairs.pl
prolog_source.pl -- Examine Prolog source-files
record.pl -- Access compound arguments by name
quasi_quotations.pl -- Define Quasi Quotation syntax
pure_input.pl
solution_sequences.pl -- Modify solution sequences
ordsets.pl
random.pl -- Random numbers
base64.pl -- Base64 encoding and decoding
aggregate.pl -- Aggregation operators on backtrackable predicates
yall.pl
sandbox.pl
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl -- Binary associations
prolog_format.pl
predicate_options.pl
csv.pl
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
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl -- A package manager for Prolog
git.pl -- Run GIT commands
rbtrees.pl
dif.pl
charsio.pl -- I/O on Lists of Character Codes
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
dialect.pl -- Support multiple Prolog dialects
prolog_code.pl
sort.pl
iostream.pl -- Utilities to deal with streams
dicts.pl -- Dict utilities
varnumbers.pl -- Utilities for numbered terms
base32.pl
codesio.pl -- I/O on Lists of Character Codes
coinduction.pl -- Co-Logic Programming
date.pl -- Process dates and times
heaps.pl -- heaps/priority queues
statistics.pl
terms.pl -- Term manipulation
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
when.pl -- Conditional coroutining
backcomp.pl -- Backward compatibility
thread.pl -- High level thread primitives
threadutil.pl -- Interactive thread utilities
prolog_versions.pl -- Demand specific (Prolog) versions
edit.pl
make.pl -- Reload modified source files
optparse.pl
increval.pl
tables.pl -- XSB interface to tables
prolog_debug.pl
quintus.pl -- Quintus compatibility
prolog_wrap.pl
intercept.pl
persistency.pl -- Provide persistent dynamic predicates
help.pl
listing.pl -- List programs and pretty print clauses
listing/0
listing/1
listing/2
portray_clause/1
portray_clause/2
portray_clause/3
prolog_autoload.pl
check.pl -- Consistency checking
exceptions.pl
ctypes.pl -- Character code classification
prolog_coverage.pl -- Coverage analysis tool
prolog_profile.pl -- Execution profiler
system.pl -- System utilities
ansi_term.pl
explain.pl
zip.pl
streams.pl
shell.pl
strings.pl
prolog_history.pl -- Per-directory persistent commandline history
prolog_config.pl -- Provide configuration information
portray_text.pl
oset.pl -- Ordered set manipulation
prolog_codewalk.pl -- Prolog code walker
hashtable.pl
macros.pl
fastrw.pl -- Fast reading and writing of terms
rwlocks.pl
prolog_metainference.pl
nb_set.pl -- Non-backtrackable sets
prolog_trace.pl -- Print access to predicates
prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
writef.pl
qsave.pl
files.pl
listing
Lists all predicates defined in the calling module. Imported predicates are not listed. To list the content of the module
mymodule
, use one of the calls below.
?- mymodule:listing. ?- listing(mymodule:_).