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,796
(#latest)
Rating
(#votes/
#comments)
Title
regex0.3.311583188
Regular expressions
julian0.1.3631014
Date and time library
list_util0.13.01826647
Predicates for working with lists
func0.4.2822795
(2/2)
Function application and composition
tap0.4.2141983
Automated tests via Test Anything Protocol
mavis0.2.3111272
Optional type declarations
quickcheck0.2.0711332
QuickCheck randomized testing
spawn0.0.191
Easy concurrency
djson0.0.328377
Declarative JSON
delay0.3.378355
Avoid instantiation errors for built-in predicates
function_expansion0.1.226859
(1/1)
Help for writing function-like macros
sweet0.1.134641
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.134210
(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.033120
URI quasiquotations
interpolate0.1.02311
String interpolation
semantria0.0.433020
Use Semantria natural language API
jolog0.0.312919
Concurrency via join calculus
bencode0.0.129
Bencoding from BitTorrent protocol
julian_lang_en0.0.212827
Parse English language phrases into library(julian) constraints
lcs0.0.126
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.0141
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