News: Learn Prolog Now! with embedded SWISHSearch Documentation:
SWI-Prolog owl logoPacks (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.

PackVersion
(#older)
Downloads
(#latest)
Rating
(#votes/
#comments)
Title
amazon_api0.0.32136
Interface to Amazon APIs
app0.12
Prolog Application Server
arouter1.0.0186
Alternative HTTP path router
assertions0.0.16141
Ciao Assertions Reader for SWI-Prolog
atom_feed0.2.04239
Parse Atom and RSS feeds
bencode0.0.112
Bencoding from BitTorrent protocol
blog_core0.0.11
Blog/CMS framework
by_unix0.1.611210
An elegance layer to calling unix commands.
callgraph0.3.414347
Predicate call graph visualisation
condition0.1.13131
Condition system a la Common Lisp
cowspeak0.0.46155
Cowspeak
cplint1.010121
A suite of programs for reasoning with probabilistic logic programs
db_facts0.1.014823
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
dcgutils0.0.54103
DCG related utilities
delay0.2.15277
Avoid instantiation errors for built-in predicates
dia0.110
An interface to .dia-uml-diagrams
dict_schema0.0.21118
Dict converter and validator
dirtree1.0.0165
load XML of directory content
djson0.0.322418
Declarative JSON
docstore1.0.13147
Document-oriented database for Prolog
dotcloud0.0.21137
Conveniences for running on dotCloud
environ1.012
Demo package with C code, fetching the program environment
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
fileutils0.1.5461
Utilities for reading, writing and finding files
format_spec0.0.211211
Parse and check format/2 specifications
func0.4.066329
(2/2)
Function application and composition
function_expansion0.1.223021
(1/1)
Help for writing function-like macros
geoip0.9.01
Access GeoIP library
graphml0.1.022
(1/1)
Write GraphML files
gvterm1.11354
(1/1)
Show Prolog terms using graphviz
hello0.0.112
Hello World
interpolate0.0.116
String interpolation
jolog0.0.31111
Concurrency via join calculus
julian0.1.23298
Date and time library
julian_lang_en0.0.2187
Parse English language phrases into library(julian) constraints
lambda1.0.076
(3/3)
Lambda expressions
lcs0.0.114
Longest common subsequence
list_util0.6.095515
Predicates for working with lists
markdown0.0.21148
Markdown parser for SWI-Prolog
mavis0.2.383515
Optional type declarations
maybe0.1.131916
The maybe type represents an optional value
memo0.3.28161
Persistent memoisation of deterministic predicates
miser0.0.112
Build self-optimizing predicates
musicbrainz0.6.519242
Musicbrainz client library
mutable_variables1.0.012
Mutable Variables
nan_common1.221410
Common operations (validation, etc.)
odf_sheet0.2.34204
Load and analyze ODF spreadsheets (.ods)
os_sub0.0.632110
Collect files and sub-directories
pac0.5.8791
Anonymous predicates expansion utility
pepl2.0.6394
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
pinyin0.1.5582
Parsing and generation of Hanyu Pinyin
plOpenGL0.6.1371
OpenGL Bindings
plmake0.0.311
Prolog makefile-like system
plmidi0.4.22113
Interface to Mac OS X MIDI system
plosc0.4.2293
OSC input/output via liblo
prosqlite0.1.2912347
(0/1)
An SWI-Prolog interface to SQLite
pubmed0.0.43154
Access pubmed publication records
quickcheck0.0.322311
QuickCheck randomized testing
rdfs2pl0.0.3274
Compile an RDFS schema to prolog predicates
readability_parser0.0.43134
Readability Parser API
real1.1.067316
Integrative statistics with R
recaptcha0.9.222520
reCAPTCHA plugin for SWI-Prolog HTTP framework
refactor0.0.328441
Refactoring Tools for SWI-Prolog
regex0.2.4711778
Regular expressions
resbound0.8.111514
Run goal with resource bounds
rtchecks0.0.15121
Run-Time Checking for Ciao and SWI-Prolog
rtp_qsndqs0.32119
Real-time persistent queues and deques.
semantria0.0.43166
Use Semantria natural language API
simple_template0.3.03125
Logic-free text (HTML) templates
sindice0.0.3253
Access to Sindice semantic web search engine
smtp0.9.335844
An (E)SMTP client for sending mail
sort_dict0.0.32106
Sorts dicts by key
sparkle0.0.4361
Prolog-friendly interface to SPARQL endpoints
spawn0.0.110
Easy concurrency
spuds0.1.48245
Persistent, user code inclusive, documentation server for linux
sql_compiler0.1.424
Prolog to SQL compiler
sweet0.1.1394
Sugar to make Prolog a little sweeter
swipe0.1.2791
Shell pipeline construction with type checking
switex0.0.7671
Literate programming with LaTeX and Prolog
tap0.2.47264
Automated tests via Test Anything Protocol
term_diff0.0.12
thousands0.2.03127
(0/1)
Thousands separator for large integers
tor1.0.44254
Tor: Extensible Search with Hookable Disjunction
turing1.0.22116
Turing Machine Simulator
type_check1.0.113026
Type System for Prolog based on Hindley-Milner
typedef0.1.2275
(1/1)
Support for type definitions
unified_diff0.0.19
Parse and generate unified diffs
unionfind1.0.013
Optimal implementation of the union-find algorithm in CHR
uri_qq0.3.032211
URI quasiquotations
webconsole0.9.113534
Use a browser as HTML console
weblog0.0.55153
(0/1)
weblog
wsdl0.117
Web Service Description Language (WSDL) and SOAP
xlibrary0.0.27172
Extended libraries for Prolog
xtools0.0.212232
Extended tools for Prolog