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/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://1556a196-0afd-4f9d-a4f3-fc12bc7c4ac2
pengine://2f936408-4fad-4a45-899f-545e1f35c1c7
pengine://7566e5fd-5c2c-4cf0-b545-fbd8adf7e59c
/usr/local/lib/swipl/library/ext/pldoc/pldoc/doc_process.pl
All
Application
Manual
Name
Summary
Help
pldoc
pldoc
doc_process.pl -- Process source documentation
predicate_summary/2
is_structured_comment/2
doc_file_name/3
doc_file_has_comments/1
doc_comment/4
process_comments/3
parse_comment/3
comment_modes/2
doc_clean/1
doc_register.pl
doc_modes.pl -- Analyse PlDoc mode declarations
doc_wiki.pl -- PlDoc wiki parser
doc_util.pl -- PlDoc utilities
man_index.pl
doc_html.pl -- PlDoc HTML backend
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 -- Source colouring support
doc_access.pl
doc_pack.pl -- PlDoc for Prolog extension packs
doc_words.pl -- Reason about Prolog jargon
process_comments
(+Comments:list, +TermPos, +File)
is
det
Processes comments returned by
read_term/3
using the
comments
option. It creates clauses of the form
'$mode'(Head, Det)
'$pldoc'(Id, Pos, Summary, Comment)
'$pldoc_link'(Id0, Id)
where Id is one of
module
(Title)
Generated from /** <module>
Title
*/
Name
/
Arity
Generated from
Name
(Arg, ...)
Name
//
Arity
Generated from
Name
(Arg, ...)//
Arguments:
Comments
- is a list Pos-Comment returned by
read_term/3
TermPos
- is the start-location of the actual term
File
- is the file that is being loaded.