Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Below is a list of known packages. Please be aware that packages are not moderated. Installing a pack does not execute code in the pack, but simply loading a library from the pack may execute arbitrary code. More information about packages is available here. You can search for packages from the Prolog command line using pack_list/1. This contacts the pack server for packs that match by name or title. A leading i indicates that the pack is already installed, while p merely indicates that it is known by the server.

?- pack_list(graph).
p callgraph@0.3.4           - Predicate call graph visualisation
i graphml@0.1.0             - Write GraphML files
i gvterm@1.1                - Show Prolog terms using graphviz
p musicbrainz@0.6.3         - Musicbrainz client library
p sindice@0.0.3             - Access to Sindice semantic web search engine

After finding the right pack, the pack and its dependencies can be installed using the pack_install/1 as illustrated below.

?- pack_install(hello).

Clicking the package shows details and allows you to rate and comment the pack.

Pack
tot: 38
Version
(#older)
Downloads
tot: 3,662
(#latest)
Rating
(#votes/
#comments)
Title
regex0.3.311786391
Regular expressions
list_util0.13.01872969
Predicates for working with lists
julian0.1.3633714
Date and time library
func0.4.28239107
(2/2)
Function application and composition
tap0.4.21423035
Automated tests via Test Anything Protocol
mavis0.2.3131472
Optional type declarations
quickcheck0.3.0161301
QuickCheck randomized testing
spawn0.0.1100
Easy concurrency
djson0.0.329286
Declarative JSON
delay0.3.378456
Avoid instantiation errors for built-in predicates
function_expansion0.1.227364
(1/1)
Help for writing function-like macros
dcg_util0.3.136221
(1/1)
DCG utility predicates
atom_feed0.2.045137
Parse Atom and RSS feeds
sweet0.1.135045
Sugar to make Prolog a little sweeter
amazon_api0.0.324942
Interface to Amazon APIs
maybe0.1.134643
The maybe type represents an optional value
condition0.1.133826
Condition system a la Common Lisp
bencode0.0.134
Bencoding from BitTorrent protocol
interpolate0.1.02331
String interpolation
uri_qq0.3.033221
URI quasiquotations
julian_lang_en0.0.213231
Parse English language phrases into library(julian) constraints
semantria0.0.433121
Use Semantria natural language API
jolog0.0.313020
Concurrency via join calculus
lcs0.0.128
Longest common subsequence
format_spec0.0.212423
Parse and check format/2 specifications
thousands0.2.032318
(0/1)
Thousands separator for large integers
roman0.1.021
Roman numerals
readability_parser0.0.432112
Readability Parser API
dotcloud0.0.211913
Conveniences for running on dotCloud
miser0.0.118
Build self-optimizing predicates
unified_diff0.0.117
Parse and generate unified diffs
web0.1.111411
Easy web client
chan0.2.014
Directional channels for thread communication
term_diff0.0.1197
tidylog0.0.18
pager0.1.0151
Send output to user's preferred pager
notes8000.1.0131
Query phone number data from 800notes.com
nanp0.1.0132
phone numbers in the North American Numbering Plan