News: SWI-Prolog supports websocketsSearch 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.32169
Interface to Amazon APIs
app0.13
Prolog Application Server
arouter1.0.0186
Alternative HTTP path router
assertions0.0.17161
Ciao Assertions Reader for SWI-Prolog
atom_feed0.2.04239
Parse Atom and RSS feeds
bencode0.0.112
Bencoding from BitTorrent protocol
bims0.62
Bims- Bayesian inference of model structure.
blog_core0.0.3291
Blog/CMS framework
by_unix0.1.611210
An elegance layer to calling unix commands.
callgraph0.3.515447
(1/1)
Predicate call graph visualisation
condition0.1.13131
Condition system a la Common Lisp
cowspeak0.0.46155
Cowspeak
cplint2.018251
A suite of programs for reasoning with probabilistic logic programs
db_facts0.1.015126
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
dcg_util0.3.1132
DCG utility predicates
dcgutils0.0.65121
DCG related utilities
delay0.3.37291
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.322620
Declarative JSON
docstore1.0.131710
Document-oriented database for Prolog
dotcloud0.0.21148
Conveniences for running on dotCloud
environ1.013
Demo package with C code, fetching the program environment
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
fileutils0.2.0593
Utilities for reading, writing and finding files
format_spec0.0.211312
Parse and check format/2 specifications
func0.4.066935
(2/2)
Function application and composition
function_expansion0.1.223223
(1/1)
Help for writing function-like macros
genutils0.0.11
General miscellaneous utilities
geoip0.9.02
Access GeoIP library
graphml0.1.026
(1/1)
Write GraphML files
gvterm1.11365
(1/1)
Show Prolog terms using graphviz
hello0.0.115
Hello World
interpolate0.0.119
String interpolation
jolog0.0.31155
Concurrency via join calculus
julian0.1.34432
Date and time library
julian_lang_en0.0.211110
Parse English language phrases into library(julian) constraints
lambda1.0.087
(3/3)
Lambda expressions
lbfgs1.011141
An interface to call libLBFGS from within SWI-Prolog
lcs0.0.114
Longest common subsequence
list_util0.6.096323
Predicates for working with lists
logtalk3.0.03
Logtalk - Object-Oriented Logic Programming Language
markdown0.0.211711
Markdown parser for SWI-Prolog
mavis0.2.383717
Optional type declarations
maybe0.1.132118
The maybe type represents an optional value
memo0.3.611221
Persistent memoisation of deterministic predicates
miser0.0.112
Build self-optimizing predicates
musicbrainz0.7.021282
Musicbrainz client library
mutable_variables1.0.012
Mutable Variables
nan_common1.221410
Common operations (validation, etc.)
odf_sheet0.2.34215
Load and analyze ODF spreadsheets (.ods)
os_sub0.0.632110
Collect files and sub-directories
pac0.5.8791
Anonymous predicates expansion utility
pager0.1.01
Send output to user's preferred pager
pepl2.0.6394
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
pinyin0.1.5593
Parsing and generation of Hanyu Pinyin
plOpenGL0.6.24152
(1/1)
OpenGL Bindings
plmake0.0.311
Prolog makefile-like system
plmidi0.4.22124
Interface to Mac OS X MIDI system
plml1.1.1581
Prolog-Matlab bridge
plosc0.4.22115
OSC input/output via liblo
plsmf0.2.0132
Standard MIDI File reading
plumdrum0.0.12
Parsing of Humdrum/Kern symbolic music file format
prosqlite1.01013911
(0/1)
An SWI-Prolog interface to SQLite
pubmed0.0.43165
Access pubmed publication records
quickcheck0.1.03291
QuickCheck randomized testing
rdfs2pl0.0.3285
Compile an RDFS schema to prolog predicates
readability_parser0.0.43134
Readability Parser API
real1.27827
Integrative statistics with R
recaptcha0.9.222722
reCAPTCHA plugin for SWI-Prolog HTTP framework
refactor0.0.328441
Refactoring Tools for SWI-Prolog
regex0.2.4713192
Regular expressions
resbound0.8.111514
Run goal with resource bounds
rtchecks0.0.15143
Run-Time Checking for Ciao and SWI-Prolog
rtp_qsndqs0.321210
Real-time persistent queues and deques.
semantria0.0.43166
Use Semantria natural language API
simple_template0.3.03136
Logic-free text (HTML) templates
sindice0.0.53103
Access to Sindice semantic web search engine
smtp0.9.336147
An (E)SMTP client for sending mail
sort_dict0.0.32117
Sorts dicts by key
sparkle0.0.98122
Prolog-friendly interface to SPARQL endpoints
spawn0.0.115
Easy concurrency
spuds0.1.48245
Persistent, user code inclusive, documentation server for linux
sql_compiler0.1.425
Prolog to SQL compiler
sweet0.1.13105
Sugar to make Prolog a little sweeter
swicli1.0.2285
SWI-Prolog interface to C/C++/.NET/Mono/Objective-C
swipe0.2.08144
Shell pipeline construction with type checking
switex0.0.7671
Literate programming with LaTeX and Prolog
tap0.3.08321
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
trill1.0671
A tableau probabilistic reasoner
turing1.0.22116
Turing Machine Simulator
type_check1.0.113228
Type System for Prolog based on Hindley-Milner
typedef0.1.33132
(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.032312
URI quasiquotations
webconsole0.9.113837
Use a browser as HTML console
weblog0.0.55153
(0/1)
weblog
wsdl0.118
Web Service Description Language (WSDL) and SOAP
xlibrary0.0.29202
Extended libraries for Prolog
xtools0.0.213242
Extended tools for Prolog