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
/usr/local/lib/swipl/library/ext/pldoc/pldoc/doc_html.pl
All
Application
Manual
Name
Summary
Help
pldoc
pldoc
doc_process.pl
doc_register.pl
doc_modes.pl
doc_wiki.pl -- PlDoc wiki parser
doc_util.pl -- PlDoc utilities
man_index.pl -- Index the HTML manuals
doc_html.pl -- PlDoc HTML backend
doc_is_public_object/1
doc_for_file/2
doc_resources//1
doc_file_objects/5
ensure_doc_objects/1
module_info/3
doc_hide_private/3
private/2
multifile/2
file_header//2
edit_button//2
zoom_button//2
source_button//2
objects//2
is_pi/1
object_page//2
object_footer//2
object_page_footer//2
object_synopsis//2
unquote_filespec/2
doc_write_html/3
doc_page_dom/3
print_html_head/1
tags//1
tag//2
doc_tag_title/2
object_tree//3
pred_dt//3
pred_edit_button//2
object_edit_button//2
object_source_button//2
is_op_type/2
term//3
predref//1
predref//2
nopredref//1
flagref//1
cite//1
object_ref//2
object_href/2
object_href/3
object_name//2
file//1
file//2
existing_linked_file/2
include//3
doc_for_wiki_file/2
mode_anchor_name/2
pred_anchor_name/3
doc_man.pl -- Process SWI-Prolog HTML manuals
doc_search.pl -- Search form and reply
doc_index.pl -- Create indexes
doc_htmlsrc.pl -- HTML source pretty-printer
doc_colour.pl
doc_access.pl
doc_pack.pl -- PlDoc for Prolog extension packs
doc_words.pl -- Reason about Prolog jargon
object_page
(+Obj, +Options)
//
is
semidet
Generate an HTML page describing
Obj
. The top presents the file the object is documented in and a search-form.
Options
:
header
(+Boolean)
Show the navigation and search header.