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: 2,851
(#latest)
Rating
(#votes/
#comments)
Title
regex0.3.311595200
Regular expressions
julian0.1.3631814
Date and time library
list_util0.13.01827652
Predicates for working with lists
func0.4.2822997
(2/2)
Function application and composition
tap0.4.2142005
Automated tests via Test Anything Protocol
mavis0.2.3111332
Optional type declarations
quickcheck0.2.0711332
QuickCheck randomized testing
spawn0.0.194
Easy concurrency
djson0.0.328478
Declarative JSON
delay0.3.378456
Avoid instantiation errors for built-in predicates
function_expansion0.1.226960
(1/1)
Help for writing function-like macros
sweet0.1.134843
Sugar to make Prolog a little sweeter
amazon_api0.0.324639
Interface to Amazon APIs
maybe0.1.134542
The maybe type represents an optional value
dcg_util0.3.134310
(1/1)
DCG utility predicates
atom_feed0.2.044228
Parse Atom and RSS feeds
condition0.1.133725
Condition system a la Common Lisp
uri_qq0.3.033221
URI quasiquotations
bencode0.0.132
Bencoding from BitTorrent protocol
interpolate0.1.02311
String interpolation
semantria0.0.433020
Use Semantria natural language API
jolog0.0.312919
Concurrency via join calculus
julian_lang_en0.0.212827
Parse English language phrases into library(julian) constraints
lcs0.0.127
Longest common subsequence
format_spec0.0.212322
Parse and check format/2 specifications
thousands0.2.032217
(0/1)
Thousands separator for large integers
readability_parser0.0.432011
Readability Parser API
roman0.1.018
Roman numerals
dotcloud0.0.211812
Conveniences for running on dotCloud
miser0.0.117
Build self-optimizing predicates
unified_diff0.0.116
Parse and generate unified diffs
chan0.2.014
Directional channels for thread communication
web0.1.11107
Easy web client
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