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,000
(#latest)
Rating
(#votes/
#comments)
Title
regex0.3.31143944
Regular expressions
list_util0.12.01618649
Predicates for working with lists
func0.4.2818250
(2/2)
Function application and composition
tap0.4.01112754
Automated tests via Test Anything Protocol
julian0.1.3611914
Date and time library
mavis0.2.3810080
Optional type declarations
delay0.3.377547
Avoid instantiation errors for built-in predicates
spawn0.0.170
Easy concurrency
quickcheck0.2.066921
QuickCheck randomized testing
djson0.0.326054
Declarative JSON
function_expansion0.1.225849
(1/1)
Help for writing function-like macros
amazon_api0.0.324134
Interface to Amazon APIs
maybe0.1.134037
The maybe type represents an optional value
sweet0.1.133833
Sugar to make Prolog a little sweeter
atom_feed0.2.043824
Parse Atom and RSS feeds
uri_qq0.3.033120
URI quasiquotations
condition0.1.133018
Condition system a la Common Lisp
semantria0.0.432717
Use Semantria natural language API
interpolate0.1.02251
String interpolation
bencode0.0.124
Bencoding from BitTorrent protocol
jolog0.0.312313
Concurrency via join calculus
dcg_util0.3.13231
(1/1)
DCG utility predicates
lcs0.0.121
Longest common subsequence
julian_lang_en0.0.212019
Parse English language phrases into library(julian) constraints
readability_parser0.0.431910
Readability Parser API
format_spec0.0.211817
Parse and check format/2 specifications
thousands0.2.031712
(0/1)
Thousands separator for large integers
dotcloud0.0.211610
Conveniences for running on dotCloud
unified_diff0.0.114
Parse and generate unified diffs
miser0.0.114
Build self-optimizing predicates
chan0.2.010
Directional channels for thread communication
term_diff0.0.1175
roman0.1.07
Roman numerals
tidylog0.0.15
web0.1.1141
Easy web client
pager0.1.01
Send output to user's preferred pager
notes8000.1.01
Query phone number data from 800notes.com
nanp0.1.01
phone numbers in the North American Numbering Plan